plugins/plugin-manager/org-gnome-plugin-manager.xml


1
2
3
4
5
6
7
8
9
10
11
12
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>