Firefox userChrome.js greasemonkeyスクリプトｽﾚ41

[182 名無しさん＠お腹いっぱい。 (ｵｰﾊﾟｲW 1256-JfBy) 2020/03/14(土) 20:31:34.01 ID:S8yc7yQU0Pi]

>>180
/*旧式*/
(function(){
gBrowser.tabContainer.addEventListener("dblclick", function(e){
if(e.target.localName=="tab")BrowserReload()
},false)
})()

/*修正版*/
(function(){
gBrowser.tabContainer.addEventListener('dblclick',function(e){
if(!!e.target.closest('.tabbrowser-tab'))BrowserReload()
},false)
})()

※Ver.73以降は >>103 とか >>112前後のやり取り参照してないとアカン