rem: editorShell.SaveHLineSettings(tempLineElement); dump("Saving HLine settings to preferences\n"); 
add: var prefs = Components.classes['component: if (prefs) { prefs = prefs.getService(); } if (prefs) { prefs = prefs.QueryInterface(Components.interfaces.nsIPref); } 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 (percentIndex > 0) { percent = true; widthInt = Number(width.substr(0, percentIndex)); } else { percent = false; widthInt = Number(width); } prefs.SetIntPref("editor.hrule.width", widthInt); prefs.SetBoolPref("editor.hrule.width_percent", percent);   prefs.SetIntPref("editor.hrule.height", Number(height));  prefs.SetBoolPref("editor.hrule.shading", shading);   prefs.SavePrefFile(); } 
context: function onSaveDefault(){  // "false" means set attributes on the tempLineElement,  //   not the real element being edited  if (ValidateData(false)) {    editorShell.SaveHLineSettings(tempLineElement);    dump("Saving HLine settings to preferences\n");  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/7542d601b8a57d30b2cc5e7bc85990ca69ae961f/EdHLineProps.js/clean/editor/ui/dialogs/content/EdHLineProps.js