rem: prefs.savePrefFile(null); 
add: prefs.SavePrefFile(); 
context: function onSaveDefault(){  // "false" means set attributes on the globalElement,  //   not the real element being edited  if (ValidateData()) {    var prefs = GetPrefs();    if (prefs) {      dump("Setting HLine prefs\n");      var alignInt;      if (align == "left") {        alignInt = 0;      } else if (align == "right") {        alignInt = 2;      } else {        alignInt = 1;      }      prefs.SetIntPref("editor.hrule.align", alignInt);      var percentIndex = width.search(/%/);      var percent;      var widthInt;      if (width)      {        if (percentIndex > 0) {          percent = true;          widthInt = Number(width.substr(0, percentIndex));        } else {          percent = false;          widthInt = Number(width);        }      }      else      {        percent = true;        widthInt = Number(100);      }      prefs.SetIntPref("editor.hrule.width", widthInt);      prefs.SetBoolPref("editor.hrule.width_percent", percent);      // Convert string to number      prefs.SetIntPref("editor.hrule.height", Number(height));      prefs.SetBoolPref("editor.hrule.shading", shading);      // Write the prefs out NOW!      prefs.savePrefFile(null);    }	}}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/cbc8cea88c9513724d671caeef055be8287d7300/EdHLineProps.js/clean/editor/ui/dialogs/content/EdHLineProps.js