diff options
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> |