diff options
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 2 | ||||
| -rw-r--r-- | autohide-evbox.patch | 16 |
3 files changed, 13 insertions, 9 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Wed May 31 16:42:18 UTC 2017 +# Wed May 31 17:49:29 UTC 2017 pkgbase = wingpanel-standalone-git pkgdesc = Stylish top panel that holds indicators and spawns an application launcher (without Gala dependencies) pkgver = r288.0b6d486 @@ -53,7 +53,7 @@ pkgbase = wingpanel-standalone-git sha256sums = 1f50f34a7d36fc8331c1080c42c38f8208e35f4551eed97705919d304d410c95 sha256sums = 910130e7033db8874ed8d5e1734c6eb0ce75eed7ddf2620400c2a129cf05755d sha256sums = df03ebb7fe08da77d51e6b96ab033b5c712530727d9fa2dd61420d2c7923fced - sha256sums = 7cf4d73688e7edc258a9ed2803fa018250a9ec3307b4d1399298d567459fb87a + sha256sums = c39417c9ce3a40c1a90c62d28bd2bc59c94bc9b87a45b365dcca6b0e3074050c pkgname = wingpanel-standalone-git @@ -33,7 +33,7 @@ sha256sums=('SKIP' '1f50f34a7d36fc8331c1080c42c38f8208e35f4551eed97705919d304d410c95' '910130e7033db8874ed8d5e1734c6eb0ce75eed7ddf2620400c2a129cf05755d' 'df03ebb7fe08da77d51e6b96ab033b5c712530727d9fa2dd61420d2c7923fced' - '7cf4d73688e7edc258a9ed2803fa018250a9ec3307b4d1399298d567459fb87a') + 'c39417c9ce3a40c1a90c62d28bd2bc59c94bc9b87a45b365dcca6b0e3074050c') pkgver() { cd wingpanel diff --git a/autohide-evbox.patch b/autohide-evbox.patch index cf8d65dc02c0..3106ae3aaaff 100644 --- a/autohide-evbox.patch +++ b/autohide-evbox.patch @@ -1,5 +1,5 @@ ---- src/wingpanel/src/PanelWindow.vala.old 2017-05-30 05:11:04.862053641 +0900 -+++ src/wingpanel/src/PanelWindow.vala 2017-05-30 05:15:50.025099860 +0900 +--- src/wingpanel/src/PanelWindow.vala 2017-06-01 02:18:32.090889031 +0900 ++++ src/wingpanel/src/PanelWindow.vala.patched 2017-06-01 02:11:40.814767918 +0900 @@ -22,6 +22,10 @@ private Widgets.Panel panel; @@ -11,7 +11,7 @@ private int monitor_number; private int monitor_width; -@@ -62,10 +64,17 @@ +@@ -62,20 +66,41 @@ popover_manager = new Services.PopoverManager (this); @@ -30,7 +30,10 @@ } private bool animation_step () { -@@ -75,7 +84,19 @@ + if (panel_displacement <= panel_height * (-1)) { ++ timeout = 0; + return false; + } panel_displacement--; @@ -42,6 +45,7 @@ + + private bool animation_unstep () { + if (panel_displacement >= -1) { ++ timeout = 0; + return false; + } + @@ -51,7 +55,7 @@ return true; } -@@ -85,7 +106,27 @@ +@@ -85,7 +110,27 @@ //Services.BackgroundManager.get_default ().initialize (this.monitor_number, panel_height); @@ -80,7 +84,7 @@ } private void update_panel_dimensions () { -@@ -108,6 +148,24 @@ +@@ -108,6 +153,24 @@ update_struts (); } |