272cee1e65
This patch was autogenerated by my decomponents.py
It covers almost every file with the extension js, jsm, html, py,
xhtml, or xul.
It removes blank lines after removed lines, when the removed lines are
preceded by either blank lines or the start of a new block. The "start
of a new block" is defined fairly hackily: either the line starts with
//, ends with */, ends with {, <![CDATA[, """ or '''. The first two
cover comments, the third one covers JS, the fourth covers JS embedded
in XUL, and the final two cover JS embedded in Python. This also
applies if the removed line was the first line of the file.
It covers the pattern matching cases like "var {classes: Cc,
interfaces: Ci, utils: Cu, results: Cr} = Components;". It'll remove
the entire thing if they are all either Ci, Cr, Cc or Cu, or it will
remove the appropriate ones and leave the residue behind. If there's
only one behind, then it will turn it into a normal, non-pattern
matching variable definition. (For instance, "const { classes: Cc,
Constructor: CC, interfaces: Ci, utils: Cu } = Components" becomes
"const CC = Components.Constructor".)
MozReview-Commit-ID: DeSHcClQ7cG
81 lines
2.3 KiB
JavaScript
81 lines
2.3 KiB
JavaScript
/* -*- indent-tabs-mode: nil; js-indent-level: 2 -*- */
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
/* import-globals-from ../../../toolkit/content/resetProfile.js */
|
|
|
|
const appStartup = Services.startup;
|
|
|
|
ChromeUtils.import("resource://gre/modules/ResetProfile.jsm");
|
|
|
|
var defaultToReset = false;
|
|
|
|
function restartApp() {
|
|
appStartup.quit(appStartup.eForceQuit | appStartup.eRestart);
|
|
}
|
|
|
|
function resetProfile() {
|
|
// Set the reset profile environment variable.
|
|
let env = Cc["@mozilla.org/process/environment;1"]
|
|
.getService(Ci.nsIEnvironment);
|
|
env.set("MOZ_RESET_PROFILE_RESTART", "1");
|
|
}
|
|
|
|
function showResetDialog() {
|
|
// Prompt the user to confirm the reset.
|
|
let retVals = {
|
|
reset: false,
|
|
};
|
|
window.openDialog("chrome://global/content/resetProfile.xul", null,
|
|
"chrome,modal,centerscreen,titlebar,dialog=yes", retVals);
|
|
if (!retVals.reset)
|
|
return;
|
|
resetProfile();
|
|
restartApp();
|
|
}
|
|
|
|
function onDefaultButton() {
|
|
if (defaultToReset) {
|
|
// Restart to reset the profile.
|
|
resetProfile();
|
|
restartApp();
|
|
// Return false to prevent starting into safe mode while restarting.
|
|
return false;
|
|
}
|
|
// Continue in safe mode. No restart needed.
|
|
return true;
|
|
}
|
|
|
|
function onCancel() {
|
|
appStartup.quit(appStartup.eForceQuit);
|
|
}
|
|
|
|
function onExtra1() {
|
|
if (defaultToReset) {
|
|
// Continue in safe mode
|
|
window.close();
|
|
return true;
|
|
}
|
|
// The reset dialog will handle starting the reset process if the user confirms.
|
|
showResetDialog();
|
|
return false;
|
|
}
|
|
|
|
function onLoad() {
|
|
if (appStartup.automaticSafeModeNecessary) {
|
|
document.getElementById("autoSafeMode").hidden = false;
|
|
document.getElementById("safeMode").hidden = true;
|
|
if (ResetProfile.resetSupported()) {
|
|
document.getElementById("resetProfile").hidden = false;
|
|
} else {
|
|
// Hide the reset button is it's not supported.
|
|
document.documentElement.getButton("extra1").hidden = true;
|
|
}
|
|
} else if (!ResetProfile.resetSupported()) {
|
|
// Hide the reset button and text if it's not supported.
|
|
document.documentElement.getButton("extra1").hidden = true;
|
|
document.getElementById("resetProfileInstead").hidden = true;
|
|
}
|
|
}
|