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

// F7もAlt+F7も完全に無効にする
(function(){
  function disableCaretBrowseWithF7Key(event){
    function onkeypress(event){
      if(event.getPreventDefault() || !event.isTrusted) return;
      if(event.keyCode != KeyEvent.DOM_VK_F7) return;
      event.preventDefault();
      event.stopPropagation();
    }
    function setupKeyPressHandler(browser){
      browser.setAttribute("onkeypress", "this.onkeypress(event);");
      browser.onkeypress = onkeypress;
    }
    if(!event){
      for(var i = 0; i < gBrowser.browsers.length; i++) setupKeyPressHandler(gBrowser.browsers[i]);
    }
    else{
      setupKeyPressHandler(event.originalTarget.linkedBrowser);
    }
  }
  disableCaretBrowseWithF7Key();
  gBrowser.tabContainer.addEventListener("TabOpen", disableCaretBrowseWithF7Key, false);
  gBrowser.tabContainer.addEventListener("SSTabRestored", disableCaretBrowseWithF7Key, false);
})();