Seit 2 Tagen arbeitet das Script mit Nightly nicht mehr... nur bei mir oder auch bei anderen?
JavaScript
/* Tabs nummerieren */
// ==UserScript==
// @name Numbered Tabs
// @namespace http://anttirt.net/
// @description Adds numbers to tab labels (useful with eg. Pentadactyl)
// @include main
// @compatibility Firefox 4.0
// @author anttirt
// @version 1.0b
// @homepage https://github.com/anttirt/numbered-tabs-firefox
// ==/UserScript==
(function() {
var stripPat = /^\d\d* /;
var container = gBrowser.tabContainer;
function update(event) {
var tab = event.target;
if(typeof tab.tabIndex == "undefined") {
updateAll();
}
else {
tab.label = String(tab.tabIndex) + " " + tab.label.replace(stripPat, "");
}
}
function updateAll(event) {
var skip = false;
for(var i = 0; i < container.childNodes.length; ++i) {
var tab = container.childNodes[i];
if(event.type == "TabClose" && tab == event.target) {
skip = true;
continue;
}
tab.tabIndex = i + (skip ? 0 : 1);
tab.label = String(tab.tabIndex) + " " + tab.label.replace(stripPat, "");
}
}
container.addEventListener("TabAttrModified", update, false);
container.addEventListener("TabOpen", updateAll, false);
container.addEventListener("TabMove", updateAll, false);
container.addEventListener("TabClose", updateAll, false);
})();
Alles anzeigen