FF126: TAB selected => TAB neu laden - script tuts nicht mehr

// 	24_tab_hover_load.uc.js
//	aktiviert TAB beim hovern und läd es neu
//
// 	211019: Aborix von hier: 
//			https://www.camp-firefox.de/forum/thema/133540/?postID=1185554#post1185554
//
//			Wenns zu schnell geht, Wert in Zeile 34 hochsetzen

(function() {

	if (!window.gBrowser)
		return;

	var tab_hover = {
		tid: null,
		getTab: function(element) {
			while (element.localName != 'tab' && element != gBrowser.tabContainer) {
				element = element.parentNode;
			};
			return element.localName == 'tab' ? element : null;
		},
		onLoad: function() {
			gBrowser.tabContainer.addEventListener('mouseover', tab_hover.onMouseOver, false);
			gBrowser.tabContainer.addEventListener('mouseout', tab_hover.onMouseOut, false);
		},
		onMouseOver: function(event) {
			tab_hover.tid = setTimeout(function() {
				let tab = tab_hover.getTab(event.target);
				if (tab) {
					gBrowser.selectedTab = tab;
					BrowserReload();
				}
			},
			750 );  // 250 war original - hochsetzen, wenns zu schnell geht
		},
		onMouseOut: function() {
			clearTimeout(tab_hover.tid);
		}
	};
	tab_hover.onLoad();

})();