Hallo!
dblclick_reloadtab funktioniert leider seit heute, 30.05.2019 nicht mehr, vielleicht kann mir jemand helfen.
Code
// Mit Doppelklick auf ein Tab wird dieser neu geladen
gBrowser.tabContainer.addEventListener('dblclick', function(event) {
if (event.target.localName == 'tab' && event.button == 0) {
gBrowser.getBrowserForTab(event.target).reload();
}
});
Vielen Dank, Spike