131
<object class="GtkMenuItem" id="expertsubmenu">
132
<property name="use_action_appearance">False</property>
133
<property name="visible">True</property>
134
<property name="can_focus">False</property>
135
<property name="label" translatable="yes">Plugins</property>
136
<property name="use_underline">True</property>
137
<child type="submenu">
138
<object class="GtkMenu" id="menu3">
139
<property name="visible">True</property>
140
<property name="can_focus">False</property>
142
<object class="GtkMenuItem" id="pluginsEdit">
143
<property name="use_action_appearance">False</property>
144
<property name="visible">True</property>
145
<property name="can_focus">False</property>
146
<property name="label" translatable="yes">Edit own plugins</property>
147
<property name="use_underline">True</property>
151
<object class="GtkMenuItem" id="pluginsReload">
152
<property name="use_action_appearance">False</property>
153
<property name="visible">True</property>
154
<property name="can_focus">False</property>
155
<property name="label" translatable="yes">Reload plugins</property>
156
<property name="use_underline">True</property>
157
<accelerator key="r" signal="activate" modifiers="GDK_CONTROL_MASK"/>
158
<signal name="activate" handler="on_pluginsReload_activate" swapped="no"/>
131
166
<object class="GtkImageMenuItem" id="mnu_preferences">
132
167
<property name="label">gtk-preferences</property>
133
168
<property name="use_action_appearance">False</property>