function addMsg(msg, header, indent) {
  if (header === undefined) header = '';
  if (indent === undefined) {
    if (header == '') indent = '';
    else indent = '  ';
  }
  var out = '';
  var lines = msg.split(/\n/);
  out = header + lines[0];
  for (var i = 1; i < lines.length; ++i) {
    out += "\n" + indent + lines[i];
  }
  if (log_box == null) return;
  if (log_box.value == '') {
    log_box.value = out;
  } else {
    log_box.value += "\n" + out;
  }
}
// Adds a message to the log box
Adds a message to the log box
Adds a message to the log box
function addMsg(msg, header, indent) {
  if (header === undefined) header = '';
  if (indent === undefined) {
    if (header == '') indent = '';
    else indent = '  ';
  }
  var out = '';
  var lines = msg.split(/\n/);
  out = header + lines[0];
  for (var i = 1; i < lines.length; ++i) {
    out += "\n" + indent + lines[i];
  }
  if (log_box == null) return;
  if (log_box.value == '') {
    log_box.value = out;
  } else {
    log_box.value += "\n" + out;
  }
}
function addMsg ( msg , header , indent ) { if ( header === undefined ) header = '' ; if ( indent === undefined ) { if ( header == '' ) indent = '' ; else indent = '  ' ; } var out = '' ; var lines = msg . split ( / \n / ) ; out = header + lines [ 0 ] ; for ( var i = 1 ; i < lines . length ; ++ i ) { out += "\n" + indent + lines [ i ] ; } if ( log_box == null ) return ; if ( log_box . value == '' ) { log_box . value = out ; } else { log_box . value += "\n" + out ; } }
Adds a message to the log box
Adds a message to the log box