annotate pui-menu.ui @ 31:9905d4ae351c

Fix continuos loop of update checks if the refresh cache interval is 0 If the interval for refreshing the cache is set to 0 each check for available updates refreshes the cache and causes an "updates-changed" signal to be emitted after a short delay which in turn triggers another check for updates. The "updates-changed" signal does not actually mean that the number of available updates has changed but rather that the package metadata cache has been invalidated. Fix this by blocking the "updates-changed" signal handler from when a periodic or irregular check is started until 4 seconds after it has finished. This is necessary since the signal will be delivered with a delay after a transaction has been completed. In addition prevent checks for updates triggered by the "updates-changed" signal from refreshing the cache even the interval is 0 since the emission of the signal implies that the cache has just been refreshed.
author Guido Berhoerster <guido+pui@berhoerster.name>
date Thu, 29 Aug 2019 13:48:47 +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>