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 1f0c35fb6e4f..cf8d65dc02c0 100644 --- a/autohide-evbox.patch +++ b/autohide-evbox.patch @@ -56,7 +56,7 @@ //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 = Timeout.add (100 / panel_height, animation_step); + } + + private bool on_idle () { |