Fixed save/load crash in FF38 by renaming mentions of 'Preferences' to 'Prefs'.

Author: Zarkonnen

seleniumbuilder/chrome/content/html/js/builder/dialogs/exportscript.js

@@ -240,4 +240,4 @@ builder.dialogs.exportscript.saveAs = function() {
 
 
 
-if (builder && builder.loader && builder.loader.loadNextMainScript) { builder.loader.loadNextMainScript(); }
+if (builder && builder.loader && builder.loader.loadNextMainScript) { builder.loader.loadNextMainScript(); }

seleniumbuilder/chrome/content/html/js/builder/load_html_format.js

@@ -1,4 +1,4 @@
-var fc = new bridge.FormatCollection(bridge.SeleniumIDE.Preferences.DEFAULT_OPTIONS);
+var fc = new bridge.FormatCollection(bridge.SeleniumIDE.Prefs.DEFAULT_OPTIONS);
 var format = fc.findFormat('default');
 var tc = new bridge.TestCase();
-format.saveAs(tc);
+format.saveAs(tc);

seleniumbuilder/chrome/content/html/js/builder/selenium1/adapter.js

@@ -236,7 +236,7 @@ builder.selenium1.adapter.exportScriptWithFormatToPath = function(script, format
 };
 
 builder.selenium1.adapter.formatCollection = function() {
-  return new bridge.FormatCollection(bridge.SeleniumIDE.Preferences.DEFAULT_OPTIONS);
+  return new bridge.FormatCollection(bridge.SeleniumIDE.Prefs.DEFAULT_OPTIONS);
 };
 
 builder.selenium1.adapter.findBaseUrl = function(script) {
@@ -382,4 +382,4 @@ builder.selenium1.io.getSaveSuiteFormat = function() {
 
 
 
-if (builder && builder.loader && builder.loader.loadNextMainScript) { builder.loader.loadNextMainScript(); }
+if (builder && builder.loader && builder.loader.loadNextMainScript) { builder.loader.loadNextMainScript(); }

seleniumbuilder/chrome/content/html/js/selenium-ide/format.js

@@ -210,7 +210,7 @@ FormatCollection.prototype.getDefaultFormat = function() {
 
 FormatCollection.loadPluginFormats = function(options) {
     var formats = [];
-    var pluginProvided = SeleniumIDE.Preferences.getString("pluginProvidedFormatters");
+    var pluginProvided = SeleniumIDE.Prefs.getString("pluginProvidedFormatters");
 
     if (pluginProvided) {
         var split_pluginProvided = pluginProvided.split(",");
@@ -517,4 +517,4 @@ PluginFormat.prototype.getSource = function() {
 
 PluginFormat.prototype.getFormatURI = function() {
     return this.url;
-}
+}

seleniumbuilder/chrome/content/html/js/selenium-ide/preferences.js

@@ -16,7 +16,7 @@
 
 if (!this.SeleniumIDE) this.SeleniumIDE = {};
 
-SeleniumIDE.Preferences = {
+SeleniumIDE.Prefs = {
     TEST_BRANCH: Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService).getBranch("extensions.selenium-ide.test."),
     branch: Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService).getBranch("extensions.selenium-ide."),
 
@@ -111,7 +111,7 @@ SeleniumIDE.Preferences = {
     }
 };
 
-SeleniumIDE.Preferences.DEFAULT_OPTIONS = {
+SeleniumIDE.Prefs.DEFAULT_OPTIONS = {
     encoding: "UTF-8",
 
     // This should be called 'userExtensionsPaths', but it is left for backward compatibility.
@@ -150,4 +150,4 @@ SeleniumIDE.Preferences.DEFAULT_OPTIONS = {
 
     recordOnOpen:
     "true"
-};
+};

seleniumbuilder/chrome/content/html/js/selenium-ide/tools.js

@@ -14,11 +14,11 @@
  * limitations under the License.
  */
 
-if (this.SeleniumIDE && SeleniumIDE.Preferences) {
-    this.Preferences = SeleniumIDE.Preferences;
+if (this.SeleniumIDE && SeleniumIDE.Prefs) {
+    this.Prefs = SeleniumIDE.Prefs;
 } else {
-    // Preferences is not available when called from xlator
-    this.Preferences = {
+    // Prefs is not available when called from xlator
+    this.Prefs = {
         getString: function(name, defaultValue) {
             return defaultValue;
         }
@@ -55,7 +55,7 @@ function Log(category) {
 Log.prototype = {
     _getThreshold: function() {
         if (!this.threshold) {
-            this.threshold = Preferences.getString("internalLogThreshold", "INFO");
+            this.threshold = Prefs.getString("internalLogThreshold", "INFO");
         }
         return this.threshold;
     },
@@ -94,7 +94,7 @@ function showFilePicker(window, title, mode, defaultDirPrefName, handler, defaul
   var nsIFilePicker = Components.interfaces.nsIFilePicker;
   var fp = Components.classes["@mozilla.org/filepicker;1"].createInstance(nsIFilePicker);
   fp.init(window, title, mode);
-  var defaultDir = Preferences.getString(defaultDirPrefName);
+  var defaultDir = Prefs.getString(defaultDirPrefName);
   if (defaultDir) {
     fp.displayDirectory = SeFileUtils.getFile(defaultDir);
   }
@@ -104,7 +104,7 @@ function showFilePicker(window, title, mode, defaultDirPrefName, handler, defaul
   }
   var res = fp.show();
   if (res == nsIFilePicker.returnOK || res == nsIFilePicker.returnReplace) {
-    Preferences.setString(defaultDirPrefName, fp.file.parent.path);
+    Prefs.setString(defaultDirPrefName, fp.file.parent.path);
     return handler(fp);
   } else {
     return null;
@@ -268,4 +268,4 @@ function defineEnum(clazz, names) {
 
 function $(id) {
     return document.getElementById(id);
-}
+}

seleniumbuilder/chrome/content/seleniumBuilder2.js

@@ -290,4 +290,4 @@ bridge.SeleniumIDE = SeleniumIDE;
 bridge.TestCase = TestCase;
 bridge.TestSuite = TestSuite;
 bridge.showFilePicker = showFilePicker;
-bridge.Format = Format;
+bridge.Format = Format;