Alle Scripte funktionieren nicht. Mein Script für die Statusleiste entspricht genau deinem.
Und das Script für Tab-hover sieht bei mir so aus:
var tab_hover = {
event:null,
tid:null,
getTab: function(element) {
while (element && element.localName != 'tab') {
element = element.parentNode;
};
return element;
},
onLoad: function() {
gBrowser.tabContainer.addEventListener("mouseout", tab_hover.onMouseOut, false);
gBrowser.tabContainer.addEventListener("mouseover", tab_hover.onMouseOver, false);
},
onUnload: function() {
gBrowser.tabContainer.removeEventListener("mouseover", tab_hover.onMouseOver, false);
gBrowser.tabContainer.removeEventListener("mouseout", tab_hover.onMouseOut, false);
},
onMouseOver: function(event) {
tab_hover.event = event.target;
tab_hover.tid = setTimeout(function() {
gBrowser.selectedTab = tab_hover.getTab(tab_hover.event);
}, 100);
},
onMouseOut: function() {
clearTimeout(tab_hover.tid);
}
};
tab_hover.onLoad();
Alles anzeigen