diff options
Diffstat (limited to 'plugins/plugin-manager/org-gnome-plugin-manager.xml')
| -rw-r--r-- | plugins/plugin-manager/org-gnome-plugin-manager.xml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/plugins/plugin-manager/org-gnome-plugin-manager.xml b/plugins/plugin-manager/org-gnome-plugin-manager.xml index 53c465adef..2d42cd70c9 100644 --- a/plugins/plugin-manager/org-gnome-plugin-manager.xml +++ b/plugins/plugin-manager/org-gnome-plugin-manager.xml @@ -1,13 +1,19 @@ <Root> <commands> - <cmd name="EPluginManagerManage" _label="Manage Plugins..." + <cmd name="EPluginManagerManage" _label="Plugins" _tip="Enable and disable plugins"/> </commands> <menu> + <submenu name="Edit"> + <placeholder name="PluginManagerPlaceholder"> + <menuitem name="EPluginManagerManage" verb=""/> + </placeholder> + </submenu> + <submenu name="Tools"> <placeholder name="ComponentPlaceholder"/> - <menuitem name="EPluginManagerManage" verb=""/> </submenu> + </menu> </Root> |