Hallo,
du hast ein Thema hochgeholt, was jetzt bald acht Jahre (!) alt ist. Das ist ja nun wohl kaum überraschend, dass sich in der Zwischenzeit Dinge geändert haben. Bitte hole keine Leichen aus dem Keller, sondern eröffne für Fragen immer ein eigenes Thema. Danke. 
Hallo,
nachdem ich allen Hinweise bzgl. dieses Scipts gefolgt bin, bekomme ich diesen lang vermissten Effekt nicht hin.
Im Moment weiß ich nicht, an welcher Stelle ich meine Fehlersuche ansetzen kann und würde mich über Tips freuen.
Bitte mal dieses Script testen:
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();Bitte auch den Kopf und die Quelle mit posten, sonst könnte man auf die Idee kommen, das du dieses Script geschrieben hast...
// ==UserScript==
// @name TabFocus.uc.js
// @startup window.tab_hover.onLoad();
// @shutdown window.tab_hover.onUnload();
// @version 2014.8.23
// @note 修改为无需重启的方式
// ==/UserScript==Quelle; Hier findet man viele weitere Scripte...
@Boersenfeger
Generell schon richtig. Mein gepostetes Script hat aber keinen Kopf, weiss aber das es funktioniert weil ich es selbst nutze. Dein Kopf und Deine Quelle ist aber ein völlig anderes Script was zur Zeit nicht funktioniert. Ich hatte das Script aus diesem Forum. Nach gründlicher Suche habe ich den Thread gefunden, hatte mal Andreas HIER gepostet (auch ohne Kopf). Von wem das Script ursprünglich ist entzieht sich meiner Kenntnis.
Der Ursprung ist im verlinkten Thread etwas früher zu finden und die ist jenes, das ich gepostet habe..
Wenn ich morgen wieder zu Hause am Rechner bin, poste ich dann noch meine Version, die ursprünglich auch von diesem Script stammt.
Die Vorarbeiten sind gemacht?
Zur Kenntnis: Hier werden keine Threads geschlossen. Nur wenn gegen Forenregeln verstoßen wird, kann ein Moderator dieses schließen.
BTW: Das von dir verlinkte Script ist das gleiche, wie das in #3 mit dem Kopf aus #4 gepostete..
Hier nochmal in Gänze:
// ==UserScript==
// @name TabFocus.uc.js
// @startup window.tab_hover.onLoad();
// @shutdown window.tab_hover.onUnload();
// @version 2014.8.23
// @note 修改为无需重启的方式
// ==/UserScript==
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);
}, 250);
},
onMouseOut: function() {
clearTimeout(tab_hover.tid);
}
};
tab_hover.onLoad();Das hast du wohl selber gemacht.. oben einfach doppelt auf "Erledigt" klicken... 