- <widget class="GtkMenuItem" id="toolsMenuItem">
- <property name="visible">True</property>
- <property name="label" translatable="yes">_Tools</property>
- <property name="use_underline">True</property>
- <child>
- <widget class="GtkMenu" id="toolsMenu">
- <child>
- <widget class="GtkCheckMenuItem" id="editShortListMenuItem">
- <property name="visible">True</property>
- <property name="tooltip" translatable="yes">Show shortlist selections</property>
- <property name="label" translatable="yes">_Edit shortlist</property>
- <property name="use_underline">True</property>
- <signal name="activate" handler="on_editShortListMenuItem_activate"/>
- </widget>
- </child>
- <child>
- <widget class="GtkMenuItem" id="clearSelectionMenuItem">
- <property name="visible">True</property>
- <property name="tooltip" translatable="yes">Clear saved selections</property>
- <property name="label" translatable="yes">_Clear selections</property>
- <property name="use_underline">True</property>
- <signal name="activate" handler="on_clearSelectionMenuItem_activate"/>
- </widget>
- </child>
- </widget>
- </child>
- </widget>
- </child>
- <child>