Skip to content

Instantly share code, notes, and snippets.

@bwinton
Created March 22, 2016 14:42
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save bwinton/0b3a5c0a2219e8647e78 to your computer and use it in GitHub Desktop.
Save bwinton/0b3a5c0a2219e8647e78 to your computer and use it in GitHub Desktop.
diff --git a/skin/light/light.css b/skin/light/light.css
index cb74524..c92d5e1 100644
--- a/skin/light/light.css
+++ b/skin/light/light.css
@@ -11,11 +11,56 @@
padding: 0 !important;
background: transparent !important;
background-color: #FBFBFB !important;
+ height: 100vh;
+}
+
+.tabbrowser-tab {
+ width: 260px !important;
+ /*width: 100% !important;*/
+}
+
+#browser {
+ display: block;
+ position:relative;
+ height: 100vh;
+}
+
+#verticaltabs-box {
+ box-shadow: inset 0 0 10px rgba(0,0,0,0.4);
+ width: 40px;
+ display: flex;
+ flex-direction: column;
+ position: absolute;
+ left: 0;
+ top: 0;
+ height: 100vh;
+ transition: width 500ms ease-in-out;
+ z-index: 3;
+}
+
+#verticaltabs-box:hover {
+ width: 260px;
+ box-shadow: 0 0 10px rgba(0,0,0,0.4);
+}
+
+/*#browser-box {*/
+#appcontent {
+ position: absolute;
+ left: 40px;
+}
+
+#navigator-toolbox,
+.browserContainer {
+ width: calc(100vw - 40px);
+}
+
+.browserContainer {
+ height: 100vh;
}
.tabbrowser-tab {
-moz-box-pack: start;
- -moz-box-flex: 0;
+ -moz-box-flex: 1;
-moz-appearance: none !important;
background: transparent !important;
border: 0 !important;
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