rem: dump("CLOSING EdHLineProps\n"); 
context: function onOK(){  // Since we only edit existing HLines,   //  ValidateData will set the new attributes  //   so there's nothing else to do  if (ValidateData(true)) {    window.close();    dump("CLOSING EdHLineProps\n");  }  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/8f1b0f0e2f48f83a0ca1fc5b895d4b1c08312577/EdHLineProps.js/clean/editor/ui/dialogs/content/EdHLineProps.js