diff options
author | Not Zed <NotZed@Ximian.com> | 2004-11-03 15:28:33 +0800 |
---|---|---|
committer | Michael Zucci <zucchi@src.gnome.org> | 2004-11-03 15:28:33 +0800 |
commit | 5e5dd766fca864fb32f963cdd1a9c8896eb2ed35 (patch) | |
tree | 495d93727876f0867f82abfd8de3f922bd23609a /plugins/plugin-manager/org-gnome-plugin-manager.xml | |
parent | bf47fc3d5125846c517f935de1f5506b9bd3f056 (diff) | |
download | gsoc2013-evolution-5e5dd766fca864fb32f963cdd1a9c8896eb2ed35.tar gsoc2013-evolution-5e5dd766fca864fb32f963cdd1a9c8896eb2ed35.tar.gz gsoc2013-evolution-5e5dd766fca864fb32f963cdd1a9c8896eb2ed35.tar.bz2 gsoc2013-evolution-5e5dd766fca864fb32f963cdd1a9c8896eb2ed35.tar.lz gsoc2013-evolution-5e5dd766fca864fb32f963cdd1a9c8896eb2ed35.tar.xz gsoc2013-evolution-5e5dd766fca864fb32f963cdd1a9c8896eb2ed35.tar.zst gsoc2013-evolution-5e5dd766fca864fb32f963cdd1a9c8896eb2ed35.zip |
implemented a plugin manager plugin.
2004-10-20 Not Zed <NotZed@Ximian.com>
* implemented a plugin manager plugin.
svn path=/trunk/; revision=27810
Diffstat (limited to 'plugins/plugin-manager/org-gnome-plugin-manager.xml')
-rw-r--r-- | plugins/plugin-manager/org-gnome-plugin-manager.xml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/plugins/plugin-manager/org-gnome-plugin-manager.xml b/plugins/plugin-manager/org-gnome-plugin-manager.xml new file mode 100644 index 0000000000..53c465adef --- /dev/null +++ b/plugins/plugin-manager/org-gnome-plugin-manager.xml @@ -0,0 +1,13 @@ +<Root> + <commands> + <cmd name="EPluginManagerManage" _label="Manage Plugins..." + _tip="Enable and disable plugins"/> + </commands> + + <menu> + <submenu name="Tools"> + <placeholder name="ComponentPlaceholder"/> + <menuitem name="EPluginManagerManage" verb=""/> + </submenu> + </menu> +</Root> |