diff options
Diffstat (limited to 'manual/plugins/main_menu_config.tex')
-rw-r--r-- | manual/plugins/main_menu_config.tex | 17 |
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 | |||
4 | This plugin helps you customizing the main menu (i.e. reorder or hide menu | ||
5 | items). It changes the appropriate configuration file as described in | ||
6 | \reference{ref:CustomisingTheMainMenu}. | ||
7 | |||
8 | When you start the plugin, the available main menu items will be displayed. | ||
9 | By 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} | ||
17 | You can leave the plugin without saving by pressing \ActionStdCancel{}. | ||