diff options
Diffstat (limited to 'autohide-evbox.patch')
-rw-r--r-- | autohide-evbox.patch | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/autohide-evbox.patch b/autohide-evbox.patch index 7a862a20a4a9..1f0c35fb6e4f 100644 --- a/autohide-evbox.patch +++ b/autohide-evbox.patch @@ -1,11 +1,13 @@ --- src/wingpanel/src/PanelWindow.vala.old 2017-05-30 05:11:04.862053641 +0900 +++ src/wingpanel/src/PanelWindow.vala 2017-05-30 05:15:50.025099860 +0900 -@@ -22,6 +22,8 @@ +@@ -22,6 +22,10 @@ private Widgets.Panel panel; + private Gtk.EventBox box; + ++ uint timeout; ++ private int monitor_number; private int monitor_width; @@ -49,7 +51,7 @@ return true; } -@@ -85,7 +106,23 @@ +@@ -85,7 +106,27 @@ //Services.BackgroundManager.get_default ().initialize (this.monitor_number, panel_height); @@ -58,17 +60,21 @@ + } + + private bool on_idle () { -+ animate_panel (); ++ if (timeout > 0) { ++ Source.remove (timeout); ++ } + -+ Timeout.add (100 / panel_height, animation_unstep); ++ timeout = Timeout.add (100 / panel_height, animation_unstep); + + return true; + } + + private bool reactivate () { -+ animate_panel (); ++ if (timeout > 0) { ++ Source.remove (timeout); ++ } + -+ Timeout.add (100 / panel_height, animation_step); ++ timeout = Timeout.add (100 / panel_height, animation_step); + + return true; } |