diff options
Diffstat (limited to 'autohide-evbox.patch')
| -rw-r--r-- | autohide-evbox.patch | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/autohide-evbox.patch b/autohide-evbox.patch index ba88ea40bbca..5eb47946a9b3 100644 --- a/autohide-evbox.patch +++ b/autohide-evbox.patch @@ -49,13 +49,12 @@ return true; } -@@ -85,7 +106,26 @@ +@@ -85,7 +106,25 @@ //Services.BackgroundManager.get_default ().initialize (this.monitor_number, panel_height); - Timeout.add (300 / panel_height, animation_step); + Timeout.add (100 / panel_height, animation_step); -+ Timeout.add (100 / panel_height, animation_unstep); + } + + private bool on_idle () { |