前スレにある
810 名前：名無しさん＠お腹いっぱい。 (ﾜｯﾁｮｲ a90f-YPkh)[sage] 投稿日：2017/11/16(木) 21:54:50.54 ID:z/FoJwAG0
メニューボタンをダブルクリックで再起動

(function(){
document.getElementById("PanelUI-menu-button").ondblclick = function restart() {
let cancelQuit = Cc["@mozilla.org/supports-PRBool;1"].createInstance(Ci.nsISupportsPRBool);
Services.obs.notifyObservers(cancelQuit, "quit-application-requested", "restart");
if (cancelQuit.data) { return; }
Services.startup.quit(Ci.nsIAppStartup.eAttemptQuit | Ci.nsIAppStartup.eRestartNotSameProfile);
}
}());

ってどうやって利用するものなんでしょうか？