diff options
Diffstat (limited to 'chrome/content/code')
-rw-r--r-- | chrome/content/code/browserOverlay.xul.js | 2 | ||||
-rw-r--r-- | chrome/content/code/redirector.prototype.js | 2 | ||||
-rw-r--r-- | chrome/content/code/redirectorprefs.js (renamed from chrome/content/code/prefs.js) | 4 | ||||
-rw-r--r-- | chrome/content/code/settings.xul.js | 2 |
4 files changed, 5 insertions, 5 deletions
diff --git a/chrome/content/code/browserOverlay.xul.js b/chrome/content/code/browserOverlay.xul.js index e194e5f..19a37df 100644 --- a/chrome/content/code/browserOverlay.xul.js +++ b/chrome/content/code/browserOverlay.xul.js @@ -15,7 +15,7 @@ var RedirectorOverlay = { .addEventListener("popupshowing", function(e) { RedirectorOverlay.showContextMenu(e); }, false); this.strings = document.getElementById("redirector-strings"); - this.prefs = new Prefs(); + this.prefs = new RedirectorPrefs(); this.changedPrefs(this.prefs); this.prefs.addListener(this); } catch(e) { diff --git a/chrome/content/code/redirector.prototype.js b/chrome/content/code/redirector.prototype.js index ecdcbd3..8f4cf6a 100644 --- a/chrome/content/code/redirector.prototype.js +++ b/chrome/content/code/redirector.prototype.js @@ -237,7 +237,7 @@ Redirector.prototype = { if (this._prefs) {
this._prefs.dispose();
}
- this._prefs = new Prefs();
+ this._prefs = new RedirectorPrefs();
//Check if we need to update existing redirects
var data = this._prefs.redirects;
var version = this._prefs.version;
diff --git a/chrome/content/code/prefs.js b/chrome/content/code/redirectorprefs.js index 055293b..52c3056 100644 --- a/chrome/content/code/prefs.js +++ b/chrome/content/code/redirectorprefs.js @@ -1,10 +1,10 @@ // $Id$
-function Prefs() {
+function RedirectorPrefs() {
this.init();
}
-Prefs.prototype = {
+RedirectorPrefs.prototype = {
//Preferences:
_version : null,
diff --git a/chrome/content/code/settings.xul.js b/chrome/content/code/settings.xul.js index 21f514f..4fa65a2 100644 --- a/chrome/content/code/settings.xul.js +++ b/chrome/content/code/settings.xul.js @@ -35,7 +35,7 @@ var Settings = { this.chkShowContextMenu = document.getElementById('chkShowContextMenu');
this.chkEnableDebugOutput = document.getElementById('chkEnableDebugOutput');
- this.prefs = new Prefs();
+ this.prefs = new RedirectorPrefs();
//Preferences
this.changedPrefs(this.prefs);
this.prefs.addListener(this);
|