Hallo noch mal
Habe mir "Tabnumber" hier noch mal heruntergeladen https://github.com/ardiman/userChrome.js und in den chrome Orner gepackt. Es funktioniert auch fast fehlerfrei. In den einzelnen Tabs werden nur nicht die fortlaufenedn Nummern angezeigt sondern in allen Tabs die 0. Vielleicht ist es ja nur eine Kleinigkeit die zu ändern ist? Aber welche?
Code
// ==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
Vielleicht hat einer einen TIPP dazu.
Danke im voraus hwww