/usr/share/xul-ext/custom-tab-width/chrome/content/browser.js is in xul-ext-custom-tab-width 1.0.1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 | window.addEventListener("load", function () {
customTabWidth.init();
}, false);
window.addEventListener("unload", function () {
customTabWidth.uninit();
}, false);
var customTabWidth = {
init: function() {
var ss = document.styleSheets;
for (let i = ss.length - 1; i >= 0; i--) {
if (ss[i].href == "chrome://tab-width/content/browser.css") {
this.styleSheet = ss[i];
break;
}
}
Services.prefs.addObserver("browser.tabs.tabMinWidth", this, false);
Services.prefs.addObserver("browser.tabs.tabMaxWidth", this, false);
this.observe();
},
uninit: function () {
Services.prefs.removeObserver("browser.tabs.tabMinWidth", this);
Services.prefs.removeObserver("browser.tabs.tabMaxWidth", this);
delete this.styleSheet;
},
observe: function () {
var min = Math.max(20, Services.prefs.getIntPref("browser.tabs.tabMinWidth"));
var max = Math.max(20, Services.prefs.getIntPref("browser.tabs.tabMaxWidth"));
var style = this.styleSheet.cssRules[1].style;
style.setProperty("min-width", min + "px", "important");
style.setProperty("max-width", max + "px", "important");
}
};
|