From e4b71fe37ce86c332598dc67f645afa05fa48083 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Sat, 18 Aug 2018 03:50:30 +0200
Subject: [PATCH] WIP: Make the hot corner show the top bar

Having the hot corner activate the overview works rather poorly with scrolling
through the workspaces.

We override the functionality to instead show the top bar, making it possible to
scroll to another workspace if a fullscreen window is active.
---
 kludges.js                                    |  31 ++++++++++++++++++
 schemas/gschemas.compiled                     | Bin 3964 -> 4028 bytes
 ....shell.extensions.org-scrollwm.gschema.xml |   5 +++
 settings.js                                   |   4 ++-
 4 files changed, 39 insertions(+), 1 deletion(-)

diff --git a/kludges.js b/kludges.js
index b5c0199..c0e1ccb 100644
--- a/kludges.js
+++ b/kludges.js
@@ -4,15 +4,43 @@
   around these problems.
  */
 
+var Extension = imports.misc.extensionUtils.extensions['paperwm@hedning:matrix.org'];
+
 var Meta = imports.gi.Meta;
+var Main = imports.ui.main;
+var prefs = Extension.imports.settings.prefs;
+var utils = Extension.imports.utils;
+
+function overrideHotCorners() {
+    for (let corner of Main.layoutManager.hotCorners) {
+        if (!corner)
+            return;
+
+        corner._toggleOverview = function() {
+        };
+
+        corner._pressureBarrier._trigger = function() {
+            this._isTriggered = true;
+            Extension.imports.topbar.show();
+            this._reset();
+        };
+    }
+}
 
 var orgUpdateState;
+var signals;
 function init() {
     orgUpdateState = imports.ui.messageTray.MessageTray.prototype._updateState;
+    signals = new utils.Signals();
 }
 
 function enable() {
 
+    if (prefs.override_hot_corner) {
+        overrideHotCorners();
+        signals.connect(Main.layoutManager, 'hot-corners-changed', overrideHotCorners);
+    }
+
     // Don't hide notifications when there's fullscreen windows in the workspace.
     // Fullscreen windows aren't special in paperWM and might not even be
     // visible, so hiding notifications makes no sense.
@@ -81,4 +109,7 @@ function enable() {
 
 function disable() {
     imports.ui.messageTray.MessageTray.prototype._updateState = orgUpdateState;
+
+    Main.layoutManager._updateHotCorners();
+    signals.destroy();
 }
diff --git a/schemas/gschemas.compiled b/schemas/gschemas.compiled
index cc11b6373e77207e8fd000ca569e2f6a59d0bb67..9963fb491ce003c3aac5c331a7739baf4f2a2613 100644
GIT binary patch
delta 789
zcmX|<PiWI%7{*^`>s*sA^Uvl`bY6xl7@Zyj4+9S>GCT~1=wS!HCNT}ol9FWWlxeSm
z7bS?pIS@QZcd<i;J5&)o*xPn2!oaI1g?Ui~eV%PK@Z)*<yl=mJdB5+^iRRGb+v6`Z
zk!-)nUp%XM!E;^Kpe-=<BYx9`g#NT#lb_Isy&{7b7tS!>gdauTXNdSl`avIFSzqa?
z<+#f3vj@snk^%d`{#|;YomX=kd^NQRmfzY%CiI5P$_BIzKHh(zajW!M<X@rPy2$UX
z*T2{gUy}nU3?e)U9zDynS)kXEk3tpLvRhNk>HCn+L5J{tUnUOXYj*r`<d=|L0bMta
z)tJ-gkWWBwfq_?_zA>lQkeBk4B8&JDzx!Naf&LH*4JZf93G4-&1}DG?b%QM6WM-Wx
z@hs(=(<*Yk010YoUAr(`3M21c7$pB|hglo(3T5YR(F<%ZaO1OSQ$O`&J%1#whEX}L
zD9bUe&<~@Sy&~y%t$t3$rWeFm$9HU0gFBvUCeC!lSBbOJHc~89v0_*?T~(1>TGz*q
zhS*u;*^XHX6Z|U*oQS(eYdVv+YP=X6%mQ=?bWWC@C;JlG09W<Jd44l}2K{T$_h6~N
zZZN0k$+n;y;PUyg?VO%@8@dUK$|}22I1|`hU(%bsPse;59ed`W%Rmi0pXbe^=eruv
RRnXZR{q}{2Hq(MJ`49fRtatzb

delta 694
zcmX|<F-RL>7=}M>qSf4aQH&I-W{sFw5nAftCL+?oQiKW-yj()K#@>aCCTWR{qu>(w
zkpxSo7OGupX$uYxf{UYWr3lX5giIAd-#426@bbL8_y6C0|95v7z8<bD&us)m{2`GW
ztfDShFNEBL;+MH^?MUdOGAlp9*&dNcleIDCb@*}Qr(o1jW7@>`^Uq!7E>^i;4?rK}
zhdS@|5Tw5TNG3?OU`SpnU=3<tcwA;q-;I11+=q_VKLpq&y&w4jcmXw%Cvonl4@$l)
zmoQaL<f`%IA0N>7vJkir4SYKO%bY%d{0MA7f9CrP=JZ3zgSc-9+N%0~GpE;(N5Dm>
zH8*<BEe;m-QIUMgTeU57CHB_z(zesQy+rJhg6$;TLM&}&c>uRlXMtzIg6m~+S<_0z
zEO*8Aa;l*1^}3$@-gQ?0*XUO-^*I&R!+nv&NGA0zfl{`U&OJdH71f>&f*lZt%|Uau
zLHq!I^-H(P{Bj)UYj6o_bx+Ukm%%JFqkSy#B)t#&i{Ls`5A7Mu={f#QumVj_Of_?Q
z<~6VmB}^-m_S`im$@-$IJ=;@J<8IG$@C{@R?3DN?(eqtda1CnpM&JA+!IH9#SGP0d
Bj?(}D

diff --git a/schemas/org.gnome.shell.extensions.org-scrollwm.gschema.xml b/schemas/org.gnome.shell.extensions.org-scrollwm.gschema.xml
index f88fc2b..d66003d 100644
--- a/schemas/org.gnome.shell.extensions.org-scrollwm.gschema.xml
+++ b/schemas/org.gnome.shell.extensions.org-scrollwm.gschema.xml
@@ -196,6 +196,11 @@
       <summary>Minimum gap between windows</summary>
     </key>
 
+    <key type="b" name="override-hot-corner">
+        <default>true</default>
+        <summary>Make the hot corner force top bar visibility</summary>
+    </key>
+
     <key type="as" name="workspace-colors">
       <default><![CDATA[['#314E6C', '#565248', '#445632', '#663822',
        '#494066', '#826647', '#4B6983', '#807D74', '#5D7555', '#884631',
diff --git a/settings.js b/settings.js
index 07ebcaa..caf5ea1 100644
--- a/settings.js
+++ b/settings.js
@@ -22,7 +22,8 @@ var prefs = {
     window_gap: settings.get_int('window-gap'),
     vertical_margin: settings.get_int('vertical-margin'),
     horizontal_margin: settings.get_int('horizontal-margin'),
-    workspace_colors: settings.get_strv('workspace-colors')
+    workspace_colors: settings.get_strv('workspace-colors'),
+    override_hot_corner: settings.get_boolean('override-hot-corner')
 };
 
 function setVerticalMargin() {
@@ -68,6 +69,7 @@ setSchemas(); // Initialize imediately so prefs.js can import properly
 function init() {
     settings.connect('changed::window-gap', setState);
     settings.connect('changed::horizontal-margin', setState);
+    settings.connect('changed::override-hot-corner', setState);
     settings.connect('changed::vertical-margin', setVerticalMargin);
     setVerticalMargin();
     settings.connect('changed::workspace-colors', setState);