diff options
Diffstat (limited to 'plugins/plugin-manager')
| -rw-r--r-- | plugins/plugin-manager/ChangeLog | 4 | ||||
| -rw-r--r-- | plugins/plugin-manager/org-gnome-plugin-manager.xml | 10 |
2 files changed, 12 insertions, 2 deletions
diff --git a/plugins/plugin-manager/ChangeLog b/plugins/plugin-manager/ChangeLog index bb09bdb985..2e7dfde4e7 100644 --- a/plugins/plugin-manager/ChangeLog +++ b/plugins/plugin-manager/ChangeLog @@ -1,5 +1,9 @@ 2005-05-13 Rodney Dawes <dobey@novell.com> + * org-gnome-plugin-manager.xml: Update for new menu layout + +2005-05-13 Rodney Dawes <dobey@novell.com> + * Makefile.am: Add a backslash line separator to EXTRA_DIST 2005-05-11 Not Zed <NotZed@Ximian.com> 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> |