summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorQue Quotion2018-03-04 02:20:13 +0900
committerQue Quotion2018-03-04 02:20:13 +0900
commitc2c24158e4025af988211d796062987f3fbcbe09 (patch)
tree7bfa0c3fdd11b2a2c144663928c982a136f65a96
parent8baeb79f66ecaec4f85826931560d1fe29507c76 (diff)
downloadaur-c2c24158e4025af988211d796062987f3fbcbe09.tar.gz
cleanup autohide patch, mess up backgroundmanager removing patch (the logical thing to do of course)
-rw-r--r--PKGBUILD12
-rw-r--r--autohide-evbox.patch2
-rw-r--r--minus-backgroundmanager.patch2
3 files changed, 8 insertions, 8 deletions
diff --git a/PKGBUILD b/PKGBUILD
index cdd02cf94be..cb6d5bdbb35 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -29,11 +29,11 @@ source=('git+https://github.com/elementary/wingpanel.git'
'y-is-broken-cogl.patch'
'autohide-evbox.patch')
sha256sums=('SKIP'
- 'bb9aa2a62256dc45633a7ee9fd9e0f3536f5dbce01e13ed138a8e7cb5a1da83a'
+ '4d413e38bdb0dc408dbbe115c0cf192172dd5efb8a8e28b2b2a2c809f6bf7f5c'
'49e077acacfec80696a3ec29f13ed1e3c7cdcae54b53a419f5e9bc853c4684e3'
'47934e9aff119cedcfe7d184078ad60d3d715e07f1ca7cb1715e50b2e0c517e8'
'b1902c1d44ac546df63cd0224a7d2ef2cb6394ca556512c30c370d387db7bbab'
- '9e436ff3da488ed2ce9b74a3714d2766a19f27e54d48694d126d3d1db572c06d')
+ '8d676eec464795cf5e484b9993ac4a1d25b44c758bda695a202a8b9f6b9cbfff')
pkgver() {
cd wingpanel
@@ -44,6 +44,10 @@ pkgver() {
prepare() {
cd wingpanel
+ #autohide
+ msg2 "autohide"
+ patch -Np2 < ../autohide-evbox.patch
+
#Standalone patches
msg2 "minus background manager"
patch -Np2 < ../minus-backgroundmanager.patch
@@ -52,10 +56,6 @@ prepare() {
msg2 "minus gala"
patch -Np2 < ../minus-gala.patch
- #autohide
- msg2 "autohide"
- patch -Np2 < ../autohide-evbox.patch
-
#Cogl can't be found when not using gala's cmake package; wtf?
msg2 "minus cogl"
patch -Np2 < ../y-is-broken-cogl.patch
diff --git a/autohide-evbox.patch b/autohide-evbox.patch
index e412cba6c64..c9b9a0239ac 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);
diff --git a/minus-backgroundmanager.patch b/minus-backgroundmanager.patch
index 174d2b8feeb..9efc0fdf4a7 100644
--- a/minus-backgroundmanager.patch
+++ b/minus-backgroundmanager.patch
@@ -7,7 +7,7 @@
- Services.BackgroundManager.initialize (this.monitor_number, panel_height);
+ //Services.BackgroundManager.initialize (this.monitor_number, panel_height);
- Timeout.add (300 / panel_height, animation_step);
+ timeout = Timeout.add (100 / panel_height, animation_step);
}
@@ -152,7 +152,7 @@