firefox userChrome.js greasemonkeyスクリプトｽﾚ 2

>>405
userChome.js用スクリプト
(function(){
function setTabWidthAutomatically(event){
const max_width = 150; //最大幅 ピクセル
const min_width = 150; //最小幅 ピクセル
const flexTabs = false; //最大値内でタイトル幅に合わせるかどうか

var _Browser = getBrowser();
var allTabs = _Browser.mTabContainer.childNodes;
for (i = 0; i < allTabs.length; i++) {
var aTab = allTabs[i];

aTab.maxWidth = max_width;
aTab.minWidth = min_width;
if (flexTabs && min_width != max_width) {
if (aTab.hasAttribute("width")) aTab.removeAttribute("width");
if (aTab.hasAttribute("flex")) aTab.removeAttribute("flex");
} else {
aTab.setAttribute("width", "0");
aTab.setAttribute("flex", "100");
}
}
}
setTabWidthAutomatically(null);
gBrowser.tabContainer.addEventListener('TabOpen',setTabWidthAutomatically,false);
})();