朝顔日記 - 2007/6月

Firefox のアドオン関係の管理には何かと便利なので MR Tech Local Install を定番で使っていたのですが、諸々の理由で Nightly Tester Tools に乗り換えてみるかと思い立って乗り換えてみました。

で、乗り換えてみてすぐに不便になったのは、File メニューに再起動の項目がないこと。Restart Firefox とか入れればいいんでしょうが、それほどのものでもないような気がしたので、userChrome.js のスクリプトとかでよかろうと探してみたところ、SCRAPBLOG : [userChrome.js] Restart Firefox ハケーン。試してみたところ、メニューの項目にアイコンがないのがちょっとさみしい感じがしたので、アイコンを追加してみました。

改造したスクリプトは以下の通り。

(function()
{
    // create 'Restart' menuitem
    var menuitem = document.createElement("menuitem");
    menuitem.setAttribute("label", "\u518d\u8d77\u52d5");
    menuitem.setAttribute("class", "menuitem-iconic");
    menuitem.setAttribute("style", "list-style-image: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8%2F9hAAAABGdBTUEAAK%2FINwWK6QAAABl0RVh0U29mdHdhcmUAQWRvYmUgSW1hZ2VSZWFkeXHJZTwAAAHsSURBVDjLtZPpTlpRFIV5Dt7AOESr1kYNThGnSomIihPoNVi5Qp3RgBgvEERpRW1BRBAcMEDUtIkdjKk4otK0Jdr2vgxZ3kA0MYoaG3%2BcX2evb529zt4sAKz%2FOawnASgCBNm5LaE7vjVDutkA4mMdLV4TkvcCuvba2Iqd1pDhWA33mQU%2B2oXVv07YfpoxuNWFuqVXoeqFCnZcgJwRm04p%2BGk3Fs9t8PyZx%2FK5Hfbf03CGLRj62g2%2BrSR0K0D%2BvZXUB1Xw%2Fou5usJWjAaU0Gz3w%2FrjHey%2FZjDLvKTD34KSyXzyBkC2JaYd4feMqyNa3OQTREQePlXjrqSq5ssj5hMjTMd66ALDKDLm0jcA0s%2BNID6JIFmvQaNXANEKX3l5x7NyqTcb7Zg8GYtCOLoXuPcbha6XV0VlU4WUzE9gPKjF2CGFbE3G3QAmafDnShETF3iKTZyIblcNza4Syi%2FdeD6USscFCJwV6Fwn8NonQak5Hy1L9TAcjkJ%2FoAG1p0a1hYdnfcnkrQCBoxyyNYLp1YCJoB7GIwqGgxGod%2FoZsQoNDiHSepNCceeAN8uF1CvGxJE25rofc%2B3blKPqQ2VUnKxIYN85yty3eWh216LeKUTOSCayVGlIH0g5S%2B1JJB%2B8Cxxt1rWkH7WNTNIPAlwA9Gm7OcXUHxUAAAAASUVORK5CYII%3D)");
    menuitem.addEventListener("command", function()
    {
        const APP_START = Components.classes['@mozilla.org/toolkit/app-startup;1'].getService(Components.interfaces.nsIAppStartup);
        APP_START.quit(APP_START.eRestart | APP_START.eAttemptQuit);
    }, false);
    // insert 'Restart' menuitem before 'File' > 'Exit'
    document.getElementById("menu_FilePopup").insertBefore(menuitem, document.getElementById("menu_FileQuitItem"));
})();

アイコンは、www.famfamfam.com のものを利用させていただきました。

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パイプライン処理設定とか読むといいかもしれません。

以前、作った Yahoo!天気情報の microsummary generator ですが、多分広告のせいだと思うんですが、たまにうまく動作しないときがあったので、なんとかならんものかといじってみたらなんとかなったので、更新しておきました。

これまで使っていた人は、適宜入れ替えるといいかもしれません。てか、generator のアップデートの仕組みとかはないのかなぁ。