diff options
Diffstat (limited to 'gnome-extra/avant-window-navigator/files/avant-window-navigator-0.4.2-Timeout.patch')
-rw-r--r-- | gnome-extra/avant-window-navigator/files/avant-window-navigator-0.4.2-Timeout.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gnome-extra/avant-window-navigator/files/avant-window-navigator-0.4.2-Timeout.patch b/gnome-extra/avant-window-navigator/files/avant-window-navigator-0.4.2-Timeout.patch new file mode 100644 index 00000000..19330174 --- /dev/null +++ b/gnome-extra/avant-window-navigator/files/avant-window-navigator-0.4.2-Timeout.patch @@ -0,0 +1,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) + { |