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