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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

<Root>
  <commands>
    <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"/>
    </submenu>

  </menu>
</Root>