From d5d12a5b2c8a2d83d4fca6f8324ae95216a16c30 Mon Sep 17 00:00:00 2001 From: Simon Schweizer Date: Mon, 30 Oct 2023 11:17:39 +0100 Subject: [PATCH] added menu elements --- docs/src/.vuepress/theme.ts | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/docs/src/.vuepress/theme.ts b/docs/src/.vuepress/theme.ts index 2801157a3..3c8d1833b 100644 --- a/docs/src/.vuepress/theme.ts +++ b/docs/src/.vuepress/theme.ts @@ -41,7 +41,7 @@ export default hopeTheme({ { text: "Guideline v1.3.0 (stable)", icon: "info", - children: ["index", "maintain/install", "maintain/upgrade-from-0", "maintain/allowList-mgm", "develop/create"], + children: ["index", "maintain/install", "maintain/upgrade-from-0", "maintain/allowList-mgm", "maintain/install-plugins", "develop/create"], } ] }, @@ -155,7 +155,13 @@ export default hopeTheme({ text: "Configuration", link: "configuration" }] - }], + }, + { + text: "Install Plugins", + icon: "plugin", + link: "install-plugins" + } + ], }, { text: "Develop process plugins", @@ -215,7 +221,12 @@ export default hopeTheme({ text: "Configuration", link: "configuration" }] - }], + }, + { + text: "Install Plugins", + icon: "plugin", + link: "install-plugins" + }], }, { text: "Develop process plugins",