annotate pui-menu.ui @ 58:9cbb0f8a66c4

Add setting to disable preferences widgets This just makes the widgets in the preferences application insensitive, settings can still be changed by directly editing the configuration file.
author Guido Berhoerster <guido+pui@berhoerster.name>
date Tue, 06 Sep 2022 19:11:21 +0200
parents 2fa34d6272c6
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8"?>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
2 <!-- Generated with glade 3.20.0 -->
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
3 <interface>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
4 <requires lib="gtk+" version="3.20"/>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
5 <object class="GtkMenu" id="menu">
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
6 <property name="visible">True</property>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
7 <property name="can_focus">False</property>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
8 <child>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
9 <object class="GtkMenuItem">
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
10 <property name="visible">True</property>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
11 <property name="can_focus">False</property>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
12 <property name="action_name">app.install-updates</property>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
13 <property name="label" translatable="yes">_Install updates</property>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
14 <property name="use_underline">True</property>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
15 </object>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
16 </child>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
17 <child>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
18 <object class="GtkMenuItem">
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
19 <property name="visible">True</property>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
20 <property name="can_focus">False</property>
3
2fa34d6272c6 Add menu item to launch the preferences application
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 2
diff changeset
21 <property name="action_name">app.preferences</property>
2fa34d6272c6 Add menu item to launch the preferences application
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 2
diff changeset
22 <property name="label" translatable="yes">_Preferences…</property>
2fa34d6272c6 Add menu item to launch the preferences application
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 2
diff changeset
23 <property name="use_underline">True</property>
2fa34d6272c6 Add menu item to launch the preferences application
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 2
diff changeset
24 </object>
2fa34d6272c6 Add menu item to launch the preferences application
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 2
diff changeset
25 </child>
2fa34d6272c6 Add menu item to launch the preferences application
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 2
diff changeset
26 <child>
2fa34d6272c6 Add menu item to launch the preferences application
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 2
diff changeset
27 <object class="GtkMenuItem">
2fa34d6272c6 Add menu item to launch the preferences application
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 2
diff changeset
28 <property name="visible">True</property>
2fa34d6272c6 Add menu item to launch the preferences application
Guido Berhoerster <guido+pui@berhoerster.name>
parents: 2
diff changeset
29 <property name="can_focus">False</property>
2
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
30 <property name="action_name">app.about</property>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
31 <property name="label" translatable="yes">_About…</property>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
32 <property name="use_underline">True</property>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
33 </object>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
34 </child>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
35 </object>
7172a0db97af Use GtkBuilder for all widgets
Guido Berhoerster <guido+pui@berhoerster.name>
parents:
diff changeset
36 </interface>