rem: if (dialog.srcInput.value != "") editorShell.InsertSource(dialog.srcInput.value); 
add: if (srcInput.value != "") editorShell.InsertSource(srcInput.value); 
context: function onOK(){  if (dialog.srcInput.value != "")    editorShell.InsertSource(dialog.srcInput.value);  else {    dump("Null value -- not inserting\n");    return false;  }    return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/4cd1f279384d77cd336bc437ca4ad86e91a6bb9d/EdInsSrc.js/buggy/editor/ui/dialogs/content/EdInsSrc.js