From f42084c29daeeff8c57bfeb9d3486a9ce83c8d4a Mon Sep 17 00:00:00 2001 From: YUKI Hiroshi Date: Wed, 18 Sep 2013 18:02:37 +0900 Subject: [PATCH] Disable detection for Tab Mix Plus because it is buggy for me. --- modules/browser.js | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/modules/browser.js b/modules/browser.js index 45f4ebad..a05ec774 100644 --- a/modules/browser.js +++ b/modules/browser.js @@ -1830,9 +1830,10 @@ TreeStyleTabBrowser.prototype = { 'hideTabBar' in this.window ) && prefs.getPref('browser.tabs.autoHide') - ) || - // Tab Mix Plus also provides it. - 'TabmixTabbar' in this.window && this.window.TabmixTabbar.hideMode > 0 + ) +// ) || +// // Tab Mix Plus also provides it. +// 'TabmixTabbar' in this.window && this.window.TabmixTabbar.hideMode > 0 ); this._tabStripPlaceHolder.collapsed = splitter.collapsed =