summaryrefslogtreecommitdiff
path: root/gnome-extra/avant-window-navigator/files/avant-window-navigator-0.4.2-Timeout.patch
diff options
context:
space:
mode:
authorV3n3RiX <venerix@rogentos.ro>2016-08-11 00:33:31 +0100
committerV3n3RiX <venerix@rogentos.ro>2016-08-11 00:33:31 +0100
commitff5dd7b3704b9e8f9f606d4929f95694ec84ddf3 (patch)
tree393b3bd8a65eb3ec464babab42da8d9ec88851c3 /gnome-extra/avant-window-navigator/files/avant-window-navigator-0.4.2-Timeout.patch
parent4c05e04608db666140daaa94499f5f90521a2cc4 (diff)
cleanup
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.patch11
1 files changed, 0 insertions, 11 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
deleted file mode 100644
index 19330174..00000000
--- a/gnome-extra/avant-window-navigator/files/avant-window-navigator-0.4.2-Timeout.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- 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)
- {