diff options
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 4 | ||||
-rw-r--r-- | autohide-evbox.patch | 9 |
3 files changed, 11 insertions, 6 deletions
@@ -1,7 +1,7 @@ pkgbase = wingpanel-standalone-git pkgdesc = Stylish top panel that holds indicators and spawns an application launcher (without Gala dependencies) pkgver = r345.ec08fc6 - pkgrel = 1 + pkgrel = 2 url = https://github.com/elementary/wingpanel arch = i686 arch = x86_64 @@ -51,7 +51,7 @@ pkgbase = wingpanel-standalone-git sha256sums = 49e077acacfec80696a3ec29f13ed1e3c7cdcae54b53a419f5e9bc853c4684e3 sha256sums = 47934e9aff119cedcfe7d184078ad60d3d715e07f1ca7cb1715e50b2e0c517e8 sha256sums = b1902c1d44ac546df63cd0224a7d2ef2cb6394ca556512c30c370d387db7bbab - sha256sums = 1f4ca296885c1c47724c13e5911b8f23fa674cfba1ae4fa922a733a59e74c29d + sha256sums = 548ae13c920e61ba9a479b0a9bb200575b5cbd8e3218aebec3486e7f95ef3213 pkgname = wingpanel-standalone-git @@ -3,7 +3,7 @@ pkgname=wingpanel-standalone-git pkgver=r345.ec08fc6 -pkgrel=1 +pkgrel=2 pkgdesc='Stylish top panel that holds indicators and spawns an application launcher (without Gala dependencies)' arch=('i686' 'x86_64') url='https://github.com/elementary/wingpanel' @@ -33,7 +33,7 @@ sha256sums=('SKIP' '49e077acacfec80696a3ec29f13ed1e3c7cdcae54b53a419f5e9bc853c4684e3' '47934e9aff119cedcfe7d184078ad60d3d715e07f1ca7cb1715e50b2e0c517e8' 'b1902c1d44ac546df63cd0224a7d2ef2cb6394ca556512c30c370d387db7bbab' - '1f4ca296885c1c47724c13e5911b8f23fa674cfba1ae4fa922a733a59e74c29d') + '548ae13c920e61ba9a479b0a9bb200575b5cbd8e3218aebec3486e7f95ef3213') pkgver() { cd wingpanel diff --git a/autohide-evbox.patch b/autohide-evbox.patch index e2c1e41d3a3b..e5a8cee933c4 100644 --- a/autohide-evbox.patch +++ b/autohide-evbox.patch @@ -95,12 +95,17 @@ return true; } -@@ -85,7 +110,27 @@ +@@ -85,7 +110,32 @@ 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); ++ if (autohide == false) { ++ timeout = Timeout.add (300 / panel_height, animation_step); ++ } else { ++ panel_displacement--; ++ animate_panel (); ++ } + } + + private bool on_idle () { |