diff options
Diffstat (limited to 'autohide-evbox.patch')
| -rw-r--r-- | autohide-evbox.patch | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/autohide-evbox.patch b/autohide-evbox.patch index 301096269880..7a862a20a4a9 100644 --- a/autohide-evbox.patch +++ b/autohide-evbox.patch @@ -49,7 +49,7 @@ return true; } -@@ -85,7 +106,27 @@ +@@ -85,7 +106,23 @@ //Services.BackgroundManager.get_default ().initialize (this.monitor_number, panel_height); @@ -60,8 +60,6 @@ + private bool on_idle () { + animate_panel (); + -+ //Services.BackgroundManager.get_default ().initialize (this.monitor_number, panel_height); -+ + Timeout.add (100 / panel_height, animation_unstep); + + return true; @@ -70,8 +68,6 @@ + private bool reactivate () { + animate_panel (); + -+ //Services.BackgroundManager.get_default ().initialize (this.monitor_number, panel_height); -+ + Timeout.add (100 / panel_height, animation_step); + + return true; |