diff options
| author | Que Quotion | 2018-03-04 02:20:13 +0900 |
|---|---|---|
| committer | Que Quotion | 2018-03-04 02:20:13 +0900 |
| commit | c2c24158e4025af988211d796062987f3fbcbe09 (patch) | |
| tree | 7bfa0c3fdd11b2a2c144663928c982a136f65a96 /autohide-evbox.patch | |
| parent | 8baeb79f66ecaec4f85826931560d1fe29507c76 (diff) | |
| download | aur-c2c24158e4025af988211d796062987f3fbcbe09.tar.gz | |
cleanup autohide patch, mess up backgroundmanager removing patch (the logical thing to do of course)
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); |