// debug.js

function Debug() {
  this.debug_id=null;
  this.debug_panel=null;
  
  this.init=function() {
    this.debug_id=infoTabs.addTab("Debug",80,260,450);
    if (this.debug_id) {
      this.debug_panel=document.getElementById(this.debug_id);
      this.clear();
    }
  }
  this.print=function(message) {
    if (this.debug_panel) {
      this.debug_panel.innerHTML+="<br/>"+message;
    }
  }
  
  this.clear=function() {
    if (this.debug_panel) {
      this.debug_panel.innerHTML="<a href=\"javascript:;\" onclick=\"debug.clear();\">empty debug output area</a>";
    }
  }
}