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

--- applets/quick-prefs/applet.vala.orig	2013-11-27 09:40:25.000000000 +0100
+++ applets/quick-prefs/applet.vala	2014-05-21 16:09:36.318740677 +0200
@@ -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)
     {