-
-
Save bwinton/1a22f726513587512fe1 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/skin/light/light.css b/skin/light/light.css | |
index cb74524..2d2e6c2 100644 | |
--- a/skin/light/light.css | |
+++ b/skin/light/light.css | |
@@ -13,6 +13,34 @@ | |
background-color: #FBFBFB !important; | |
} | |
+#verticaltabs-box { | |
+ box-shadow: inset 0 0 10px rgba(0,0,0,0.4); | |
+ width: 50px; | |
+ display: flex; | |
+ flex-direction: column; | |
+ position: absolute; | |
+ left: 0; | |
+ top: 0; | |
+ height: 100vh; | |
+ transition: width 500ms ease-in-out; | |
+} | |
+ | |
+#verticaltabs-box:hover { | |
+ width: 260px; | |
+ box-shadow: 0 0 10px rgba(0,0,0,0.4); | |
+} | |
+ | |
+#browser-box { | |
+ position: absolute; | |
+ left: 40px; | |
+ width: calc(100vw - 40px) !important; | |
+ flex: 0; | |
+} | |
+ | |
+#browser-panel { | |
+ height: 100vh; | |
+} | |
+ | |
.tabbrowser-tab { | |
-moz-box-pack: start; | |
-moz-box-flex: 0; | |
diff --git a/verticaltabs.jsm b/verticaltabs.jsm | |
index 99363a6..428f734 100644 | |
--- a/verticaltabs.jsm | |
+++ b/verticaltabs.jsm | |
@@ -152,14 +152,6 @@ VerticalTabs.prototype = { | |
leftbox.id = "verticaltabs-box"; | |
browserbox.insertBefore(leftbox, contentbox); | |
- let splitter = document.createElementNS(NS_XUL, "splitter"); | |
- splitter.id = "verticaltabs-splitter"; | |
- splitter.className = "chromeclass-extrachrome"; | |
- browserbox.insertBefore(splitter, contentbox); | |
- // Hook up event handler for splitter so that the width of the | |
- // tab bar is persisted. | |
- splitter.addEventListener("mouseup", this, false); | |
- | |
// Move the tabs next to the app content, make them vertical, | |
// and restore their width from previous session | |
if (Services.prefs.getBoolPref("extensions.verticaltabs.right")) { | |
@@ -171,7 +163,6 @@ VerticalTabs.prototype = { | |
tabs.orient = "vertical"; | |
tabs.mTabstrip.orient = "vertical"; | |
tabs.tabbox.orient = "horizontal"; // probably not necessary | |
- tabs.setAttribute("width", Services.prefs.getIntPref("extensions.verticaltabs.width")); | |
// Move the tabs toolbar into the tab strip | |
let toolbar = document.getElementById("TabsToolbar"); | |
@@ -236,11 +227,9 @@ VerticalTabs.prototype = { | |
} | |
// Remove all the crap we added. | |
- splitter.removeEventListener("mouseup", this, false); | |
browserbox.removeChild(leftbox); | |
- browserbox.removeChild(splitter); | |
browserbox.dir = "normal"; | |
- leftbox = splitter = null; | |
+ leftbox = null; | |
}); | |
}, | |
@@ -294,10 +283,6 @@ VerticalTabs.prototype = { | |
onTabbarResized: function() { | |
let tabs = this.document.getElementById("tabbrowser-tabs"); | |
this.setPinnedSizes(); | |
- this.window.setTimeout(function() { | |
- Services.prefs.setIntPref("extensions.verticaltabs.width", | |
- tabs.boxObject.width); | |
- }, 10); | |
}, | |
observeRightPref: function () { | |
@@ -370,12 +355,6 @@ VerticalTabs.prototype = { | |
this.initTab(aEvent.target); | |
}, | |
- onMouseUp: function(aEvent) { | |
- if (aEvent.target.getAttribute("id") == "verticaltabs-splitter") { | |
- this.onTabbarResized(); | |
- } | |
- }, | |
- | |
onPopupShowing: function(aEvent) { | |
if (!this.multiSelect) | |
return; |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment