rem: configBox.addEventListener("blur", function(event) { self.updateFormatOptions(); /* var e = event.target; var r; if (formatInfo && (r = /^options_(.*)$/.exec(e.id)) != null) { self.options["formats." + formatInfo.id + "." + r[1]] = e.value; }*/ }, true); 
add: SeleniumIDE.Loader.getEditors().forEach(function(editor) { editor.setOptions(options); }); 
context: 	configBox.addEventListener("blur", function(event) {								   self.updateFormatOptions();								   /*								   var e = event.target;								   var r;								   if (formatInfo && (r = /^options_(.*)$/.exec(e.id)) != null) {									   self.options["formats." + formatInfo.id + "." + r[1]] = e.value;									   }*/							   }, true);
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/ce42355024b29d6c2ea8e9d354e7952605826f4f/optionsDialog.js/clean/src/content/optionsDialog.js