rem: prefs.savePrefFile(null); 
add: var prefService = Components.classes["@mozilla.org/preferences-service;1"] .getService(Components.interfaces.nsIPrefService); prefService.savePrefFile(null); 
context: function onSaveDefault(){  // "false" means set attributes on the globalElement,  //   not the real element being edited  if (ValidateData()) {    var prefs = GetPrefs();    if (prefs) {      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;      var heightInt;      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);      }      heightInt = height ? Number(height) : 2;      prefs.SetIntPref("editor.hrule.width", widthInt);      prefs.SetBoolPref("editor.hrule.width_percent", percent);      prefs.SetIntPref("editor.hrule.height", heightInt);      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/f1f4e0d7a57ab7bc6d826daa2e6141efd69e1dce/EdHLineProps.js/buggy/editor/ui/dialogs/content/EdHLineProps.js