diff pui-menu.ui @ 3:2fa34d6272c6

Add menu item to launch the preferences application
author Guido Berhoerster <guido+pui@berhoerster.name>
date Wed, 13 Jun 2018 23:25:09 +0200
parents 7172a0db97af
children
line wrap: on
line diff
--- a/pui-menu.ui	Wed Jun 13 20:06:00 2018 +0200
+++ b/pui-menu.ui	Wed Jun 13 23:25:09 2018 +0200
@@ -18,6 +18,15 @@
       <object class="GtkMenuItem">
         <property name="visible">True</property>
         <property name="can_focus">False</property>
+        <property name="action_name">app.preferences</property>
+        <property name="label" translatable="yes">_Preferences…</property>
+        <property name="use_underline">True</property>
+      </object>
+    </child>
+    <child>
+      <object class="GtkMenuItem">
+        <property name="visible">True</property>
+        <property name="can_focus">False</property>
         <property name="action_name">app.about</property>
         <property name="label" translatable="yes">_About…</property>
         <property name="use_underline">True</property>