diff options
Diffstat (limited to 'autohide-evbox.patch')
| -rw-r--r-- | autohide-evbox.patch | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/autohide-evbox.patch b/autohide-evbox.patch index 49dfead5454d..33ad8bfca86a 100644 --- a/autohide-evbox.patch +++ b/autohide-evbox.patch @@ -57,7 +57,8 @@ + animate_panel (); return true; - }@@ -85,7 +110,27 @@ + } +@@ -85,7 +110,27 @@ //Services.BackgroundManager.get_default ().initialize (this.monitor_number, panel_height); |