diff options
Diffstat (limited to 'autohide-evbox.patch')
| -rw-r--r-- | autohide-evbox.patch | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/autohide-evbox.patch b/autohide-evbox.patch index e2c1e41d3a3b..e5a8cee933c4 100644 --- a/autohide-evbox.patch +++ b/autohide-evbox.patch @@ -95,12 +95,17 @@ return true; } -@@ -85,7 +110,27 @@ +@@ -85,7 +110,32 @@ Services.BackgroundManager.get_default ().initialize (this.monitor_number, panel_height); - Timeout.add (300 / panel_height, animation_step); -+ timeout = Timeout.add (100 / panel_height, animation_step); ++ if (autohide == false) { ++ timeout = Timeout.add (300 / panel_height, animation_step); ++ } else { ++ panel_displacement--; ++ animate_panel (); ++ } + } + + private bool on_idle () { |