// ==UserScript== // @name Restart Firefox // @namespace http://www.xuldev.org/ // @description Adds Restart menu and shortcut key. // @include main // @compatibility Firefox 3.0, 3.5, 3.6b4 // @author Gomita // @version 1.1.20091203 // @homepage http://www.xuldev.org/misc/ucjs.php // ==/UserScript== // @version 1.1.20091203 shortcut key is now Ctrl+Shift+O function ucjsRestartApp() { try { // [Firefox3.5] Application.restart(); } catch (ex) { // [Firefox3.0] var appStartup = Cc["@mozilla.org/toolkit/app-startup;1"] .getService(Ci.nsIAppStartup); appStartup.quit(appStartup.eRestart | appStartup.eAttemptQuit); } } (function() { var overlay = ; overlay = "data:application/vnd.mozilla.xul+xml;charset=utf-8," + encodeURI(overlay.toXMLString()); document.loadOverlay(overlay, null); })();