Fix issue #47 - Right sidebar not clickable

pjeby · Apr 25, 2023 · 3b816fb · 3b816fb
1 parent 58a52e0
commit 3b816fb
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/manifest.json b/manifest.json
@@ -1,7 +1,7 @@
 {
 	"id": "pane-relief",
 	"name": "Pane Relief",
-	"version": "0.4.1",
+	"version": "0.4.2",
 	"minAppVersion": "0.15.9",
 	"description": "Per-tab history, hotkeys for pane/tab movement, navigation, sliding workspace, and more",
 	"author": "PJ Eby",

diff --git a/src/styles.scss b/src/styles.scss
@@ -112,6 +112,12 @@ body.is-mobile {
       padding-right: calc(var(--ribbon-width) + var(--frame-right-space));
     }
   }
+
+  /* Allow enough space at top of right sidebar for right ribbon toggle to function */
+  .workspace.is-right-sidedock-open & + .mod-right-split .workspace-tabs.mod-top .workspace-tab-header-container::after {
+    width: calc(var(--ribbon-width) + var(--frame-right-space));
+  }
+
   div.sidebar-toggle-button.mod-right {
     position: fixed;
     top: 0;

diff --git a/versions.json b/versions.json
@@ -1,5 +1,5 @@
 {
-    "0.4.0": "0.15.9",
+    "0.4.2": "0.15.9",
     "0.3.5": "0.15.9",
     "0.2.9": "0.15.9",
     "0.2.6": "0.14.5",