|
|
@@ -199,17 +199,19 @@ ext.add("strong-fullscreen", function(){ |
|
|
|
} |
|
|
|
|
|
|
|
var tabs = document.getElementById("verticaltabs-box"); |
|
|
|
var pref_key = "extensions.verticaltabs.width"; |
|
|
|
var pref_key_bak = pref_key + "_bak" |
|
|
|
if(isfullscreen){ |
|
|
|
var width_orig = util.getIntPref(pref_key); |
|
|
|
util.setIntPref(pref_key_bak, width_orig); |
|
|
|
util.setIntPref(pref_key, 0); |
|
|
|
tabs.setAttribute("width", "0"); |
|
|
|
}else if(parseInt(tabs.getAttribute("width") || "") === 0){ |
|
|
|
var width_bak = util.getIntPref(pref_key_bak); |
|
|
|
util.setIntPref(pref_key, width_bak); |
|
|
|
tabs.setAttribute("width", width_bak.toString()); |
|
|
|
if(tabs){ |
|
|
|
var pref_key = "extensions.verticaltabs.width"; |
|
|
|
var pref_key_bak = pref_key + "_bak" |
|
|
|
if(isfullscreen){ |
|
|
|
var width_orig = util.getIntPref(pref_key); |
|
|
|
util.setIntPref(pref_key_bak, width_orig); |
|
|
|
util.setIntPref(pref_key, 0); |
|
|
|
tabs.setAttribute("width", "0"); |
|
|
|
}else if(parseInt(tabs.getAttribute("width") || "") === 0){ |
|
|
|
var width_bak = util.getIntPref(pref_key_bak); |
|
|
|
util.setIntPref(pref_key, width_bak); |
|
|
|
tabs.setAttribute("width", width_bak.toString()); |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
}, "go fullscreen with hiding toolbar and tabbar"); |
|
|
|