■

Mozilla Firefox 拡張機能スレッド Part18 の21氏が、拙作 Save Session 1.2 の「セッションを保存して終了」の機能を userChrome.js 用のスクリプトにしておられます。ということで、メモっておこう。

/*--------------------------------------------------------------------
A user script for userChrome.js extension.
--------------------------------------------------------------------
Save Session; Save Session & Exit.
--------------------------------------------------------------------
forFirefox 2.0.* - 3a1
---------------------------------------------------------------------*/
(function() {
    window.save_exit = function () {
        var prefObj = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService);
        var Branch = prefObj.getBranch("browser.sessionstore.");
        Branch.setBoolPref("resume_session_once", true);
        goQuitApplication();
    };
    var newMenu = document.createElement("menuitem");
    newMenu.setAttribute('id',       'SaveSession-exit');
    newMenu.setAttribute("label", "\u30bb\u30c3\u30b7\u30e7\u30f3\u3092\u4fdd\u5b58\u3057\u3066\u7d42\u4e86");
    newMenu.setAttribute("accesskey", "S");
    newMenu.setAttribute("oncommand", "save_exit();");
    document.getElementById("menu_FilePopup").insertBefore(newMenu, document.getElementById("menu_FileQuitItem"));
})();