gnome-extra/avant-window-navigator/files/avant-window-navigator-0.4.2-Timeout.patch


1
2
3
4
5
6
7
8
9
10
11

--- a/applets/quick-prefs/applet.vala
+++ b/applets/quick-prefs/applet.vala
@@ -288,7 +288,7 @@
 
     if (this.timer_id == 0)
     {
-      this.timer_id = Timeout.add (300, this.on_timer_tick);
+      this.timer_id = Gtk.Timeout.add (300, this.on_timer_tick);
     }
     if (this.autohide_cookie == 0)
     {