diff options
Diffstat (limited to 'autohide-evbox.patch')
| -rw-r--r-- | autohide-evbox.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/autohide-evbox.patch b/autohide-evbox.patch index e412cba6c640..c9b9a0239ac1 100644 --- a/autohide-evbox.patch +++ b/autohide-evbox.patch @@ -97,7 +97,7 @@ } @@ -85,7 +110,27 @@ - //Services.BackgroundManager.get_default ().initialize (this.monitor_number, panel_height); + 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); |