summaryrefslogtreecommitdiff
path: root/manual/plugins/main_menu_config.tex
diff options
context:
space:
mode:
Diffstat (limited to 'manual/plugins/main_menu_config.tex')
-rw-r--r--manual/plugins/main_menu_config.tex17
1 files changed, 17 insertions, 0 deletions
diff --git a/manual/plugins/main_menu_config.tex b/manual/plugins/main_menu_config.tex
new file mode 100644
index 0000000000..b21c0020c6
--- /dev/null
+++ b/manual/plugins/main_menu_config.tex
@@ -0,0 +1,17 @@
1\subsection{Main Menu Configuration}
2{\label{ref:main_menu_config}}
3
4This plugin helps you customizing the main menu (i.e. reorder or hide menu
5items). It changes the appropriate configuration file as described in
6\reference{ref:CustomisingTheMainMenu}.
7
8When you start the plugin, the available main menu items will be displayed.
9By pressing \ActionStdOk{} you open a menu with the following options:
10\begin{description}
11\item[Toggle Item] Hide the selected menu item or make it visible again
12\item[Move Item Up] Swap the selected menu item with the previous one
13\item[Move Item down] Swap the selected menu item with the next one
14\item[Load Default Configuration] Discards all customization
15\item[Exit] Save your changes to the configuration file and exit the plugin
16\end{description}
17You can leave the plugin without saving by pressing \ActionStdCancel{}.