Merge pull request kdashg#1 from alexander255/master

Add option to hide tab bar in fullscreen mode
Nolski · Oct 14, 2015 · 4c0e9c0 · 4c0e9c0
2 parents 7167cbd + a889f75
commit 4c0e9c0
Show file tree

Hide file tree

Showing 3 changed files with 26 additions and 1 deletion.
diff --git a/bootstrap.js b/bootstrap.js
@@ -45,7 +45,8 @@ const DEFAULT_PREFS = {
   "extensions.verticaltabs.right": false,
   "extensions.verticaltabs.tabsOnTop": false,
   "browser.tabs.drawInTitlebar": false,
-  "extensions.verticaltabs.theme": 'default'
+  "extensions.verticaltabs.theme": 'default',
+  "extensions.verticaltabs.fullscreen": true
 };
 
 /**

diff --git a/options.xul b/options.xul
@@ -14,4 +14,7 @@
       </menupopup>
     </menulist>
   </setting>
+  <setting type="bool"
+           pref="extensions.verticaltabs.fullscreen"
+           title="Hide tabs in fullscreen mode"/>
 </vbox>
diff --git a/verticaltabs.jsm b/verticaltabs.jsm
@@ -188,7 +188,11 @@ VerticalTabs.prototype = {
 
         this.window.addEventListener("resize", this, false);
 
+        this.window.addEventListener("sizemodechange", this, true);
+
         this.unloaders.push(function () {
+            this.window.removeEventListener("sizemodechange", this, true);
+
             // Move the bottom back to being the next sibling of contentbox.
             browserbox.insertBefore(bottom, contentbox.nextSibling);
 
@@ -241,6 +245,19 @@ VerticalTabs.prototype = {
         aTab.maxWidth = 65000;
         aTab.minWidth = 0;
     },
+
+    onSizeModeChange: function(aEvent) {
+        let box     = this.document.getElementById("verticaltabs-box");
+        let splitter = this.document.getElementById("verticaltabs-splitter");
+        if(this.window.windowState == 4
+        && Services.prefs.getBoolPref("extensions.verticaltabs.fullscreen")) {
+            box.style.display      = 'none';
+            splitter.style.display = 'none';
+        } else {
+            box.style.display      = '';
+            splitter.style.display = '';
+        }
+    },
 
     setPinnedSizes: function() {
         let tabs = this.document.getElementById("tabbrowser-tabs");
@@ -333,6 +350,10 @@ VerticalTabs.prototype = {
         case "resize":
             this.setPinnedSizes();
             return;
+
+       case "sizemodechange":
+            this.onSizeModeChange(aEvent);
+            return;
         }
     },
 };