朝顔日記

Firefox の network.http.pipelining の設定をツールメニューから手軽に切り替えるための userChrome.js 用の userChrome.xul スクリプトを書いてみました。

<?xml version="1.0" encoding="UTF-8"?>
<overlay xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
  <script language="JavaScript">
    function pipelining_toggle(element){
      var prefObj = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService);
      var Branch = prefObj.getBranch("network.http.");
      var pipeliningEable = true;
      if(element.getAttribute("checked")) {
        pipeliningEable = false;
      }
    Branch.setBoolPref("pipelining", pipeliningEable);
    }
  </script>

  <menupopup id="menu_ToolsPopup">
    <menuitem
      id="PipeliningToggle"
      label="Pipelining off"
      type="checkbox"
      oncommand="pipelining_toggle(this);" />
  </menupopup>
</overlay>

network.http.pipelining って何よ？ という人は先にも出した、Network.http.pipelining - MozillaZine Knowledge Base や HTTPパイプライン処理設定とか読むといいかもしれません。