// autoopen.js
// For example, save as E:\env\htmlval\autoopen.js 
// and include in batch target options user functions file
// automatically opens files with HTML errors in them in the HTML editor
function onTargetProcessed() {
 if (getValueInt(1)>0) { // if # of errors > 0
  if ($_JOB.openineditor.arrayLength()<50) {
   $_JOB.openineditor[]=getValueString(5);
  }
 }
}