public/javascripts/debug.js

   1 var debugWindow = null;
   2 function debug(text, reverse) {
   3         if (! $('debug'))
   4                 return;
   5
   6         time = "-"; //new Date();
   7         reverse = true
   8         if (reverse)
   9                 $('debug').innerHTML = time + " " + text + "<br>"+      $('debug').innerHTML;
  10         else
  11                 $('debug').innerHTML +=  time + " " + text + "<br>";
  12 }
  13
  14 function hideDebug() {
  15         debugWindow.close();
  16         debugWindow.destroy();
  17         debugWindow = null;
  18 }
  19
  20 function showDebug() {
  21         if (debugWindow == null) {
  22                 debugWindow = new Window('debug_window', {height:100, top:300, left:500, zIndex:1000, opacity:0.6, showEffect: Element.show, resizable: true, title: "Debug"})
  23                 debugWindow.getContent().innerHTML = "<div id='debug' style='padding:3px'></div>";
  24         }
  25         debugWindow.show()
  26 }
  27
  28 function clearDebug() {
  29         if (! $('debug'))
  30                 return;
  31         $('debug').innerHTML = "";
  32 }
  33