planetstack/core/static/log4javascript-1.4.6/js/liteconsole_uncompressed.html

   1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">\r
   2 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">\r
   3         <head>\r
   4                 <title>log4javascript</title>\r
   5                 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />\r
   6                 <!-- Make IE8 behave like IE7, having gone to all the trouble of making IE work -->\r
   7                 <meta http-equiv="X-UA-Compatible" content="IE=7" />\r
   8                 <script type="text/javascript">\r
   9                         //<![CDATA[\r
  10                         var loggingEnabled = true;\r
  11                         var messagesBeforeDocLoaded = [];\r
  12 \r
  13                         function toggleLoggingEnabled() {\r
  14                                 setLoggingEnabled($("enableLogging").checked);\r
  15                         }\r
  16 \r
  17                         function setLoggingEnabled(enable) {\r
  18                                 loggingEnabled = enable;\r
  19                         }\r
  20 \r
  21                         function scrollToLatestEntry() {\r
  22                                 var l = getLogContainer();\r
  23                                 if (typeof l.scrollTop != "undefined") {\r
  24                                         var latestLogEntry = l.lastChild;\r
  25                                         if (latestLogEntry) {\r
  26                                                 l.scrollTop = l.scrollHeight;\r
  27                                         }\r
  28                                 }\r
  29                         }\r
  30 \r
  31                         function log(logLevel, formattedMessage) {\r
  32                                 if (loggingEnabled) {\r
  33                                         if (loaded) {\r
  34                                                 doLog(logLevel, formattedMessage);\r
  35                                         } else {\r
  36                                                 messagesBeforeDocLoaded.push([logLevel, formattedMessage]);\r
  37                                         }\r
  38                                 }\r
  39                         }\r
  40 \r
  41                         function doLog(logLevel, formattedMessage) {\r
  42                                 var logEntry = document.createElement("div");\r
  43                                 logEntry.appendChild(document.createTextNode(formattedMessage));\r
  44                                 logEntry.className = "logentry " + logLevel.name;\r
  45                                 getLogContainer().appendChild(logEntry);\r
  46                                 scrollToLatestEntry();\r
  47                         }\r
  48 \r
  49                         function mainPageReloaded() {\r
  50                                 var separator = document.createElement("div");\r
  51                                 separator.className = "separator";\r
  52                                 separator.innerHTML = "&nbsp;";\r
  53                                 getLogContainer().appendChild(separator);\r
  54                         }\r
  55 \r
  56                         var loaded = false;\r
  57                         var logLevels = ["DEBUG", "INFO", "WARN", "ERROR", "FATAL"];\r
  58 \r
  59                         window.onload = function() {\r
  60                                 setLogContainerHeight();\r
  61                                 toggleLoggingEnabled();\r
  62                                 for (var i = 0; i < messagesBeforeDocLoaded.length; i++) {\r
  63                                         doLog(messagesBeforeDocLoaded[i][0], messagesBeforeDocLoaded[i][1]);\r
  64                                 }\r
  65                                 messagesBeforeDocLoaded = [];\r
  66                                 loaded = true;\r
  67 \r
  68                                 // Workaround to make sure log div starts at the correct size\r
  69                                 setTimeout(setLogContainerHeight, 20);\r
  70                         };\r
  71 \r
  72                         function getLogContainer() {\r
  73                                 return $("log");\r
  74                         }\r
  75 \r
  76                         function clearLog() {\r
  77                                 getLogContainer().innerHTML = "";\r
  78                         }\r
  79 \r
  80                         /* ------------------------------------------------------------------------- */\r
  81 \r
  82                         // Other utility functions\r
  83 \r
  84                         // Syntax borrowed from Prototype library\r
  85                         function $(id) {\r
  86                                 return document.getElementById(id);\r
  87                         }\r
  88 \r
  89                         function getWindowHeight() {\r
  90                                 if (window.innerHeight) {\r
  91                                         return window.innerHeight;\r
  92                                 } else if (document.documentElement && document.documentElement.clientHeight) {\r
  93                                         return document.documentElement.clientHeight;\r
  94                                 } else if (document.body) {\r
  95                                         return document.body.clientHeight;\r
  96                                 }\r
  97                                 return 0;\r
  98                         }\r
  99 \r
 100                         function getChromeHeight() {\r
 101                                 return $("toolbar").offsetHeight;\r
 102                         }\r
 103 \r
 104                         function setLogContainerHeight() {\r
 105                                 var windowHeight = getWindowHeight();\r
 106                                 $("body").style.height = getWindowHeight() + "px";\r
 107                                 getLogContainer().style.height = "" +\r
 108                                         Math.max(0, windowHeight - getChromeHeight()) + "px";\r
 109                         }\r
 110 \r
 111                         window.onresize = function() {\r
 112                                 setLogContainerHeight();\r
 113                         };\r
 114 \r
 115                         //]]>\r
 116                 </script>\r
 117                 <style type="text/css">\r
 118                         body {\r
 119                                 background-color: white;\r
 120                                 color: black;\r
 121                                 padding: 0;\r
 122                                 margin: 0;\r
 123                                 font-family: tahoma, verdana, arial, helvetica, sans-serif;\r
 124                                 overflow: hidden;\r
 125                         }\r
 126                         \r
 127                         div#toolbar {\r
 128                                 border-top: solid #ffffff 1px;\r
 129                                 border-bottom: solid #aca899 1px;\r
 130                                 background-color: #f1efe7;\r
 131                                 padding: 3px 5px;\r
 132                                 font-size: 68.75%;\r
 133                         }\r
 134 \r
 135                         div#toolbar input.button {\r
 136                                 padding: 0 5px;\r
 137                                 font-size: 100%;\r
 138                         }\r
 139 \r
 140                         div#log {\r
 141                                 font-family: Courier New, Courier;\r
 142                                 font-size: 75%;\r
 143                                 width: 100%;\r
 144                                 overflow: auto;\r
 145                                 clear: both;\r
 146                         }\r
 147 \r
 148                         *.logentry {\r
 149                                 overflow: visible;\r
 150                                 white-space: pre;\r
 151                         }\r
 152 \r
 153                         *.TRACE {\r
 154                                 color: #666666;\r
 155                         }\r
 156 \r
 157                         *.DEBUG {\r
 158                                 color: green;\r
 159                         }\r
 160 \r
 161                         *.INFO {\r
 162                                 color: #000099;\r
 163                         }\r
 164 \r
 165                         *.WARN {\r
 166                                 color: #999900;\r
 167                         }\r
 168 \r
 169                         *.ERROR {\r
 170                                 color: red;\r
 171                         }\r
 172 \r
 173                         *.FATAL {\r
 174                                 color: #660066;\r
 175                         }\r
 176 \r
 177                         div#log div.separator {\r
 178                                 background-color: #cccccc;\r
 179                                 margin: 5px 0;\r
 180                                 line-height: 1px;\r
 181                         }\r
 182                 </style>\r
 183         </head>\r
 184 \r
 185         <body id="body">\r
 186                 <div id="toolbar">\r
 187                         Options:\r
 188                         <input type="checkbox" id="enableLogging" onclick="toggleLoggingEnabled()" class="stateful" checked="checked" title="Enable/disable logging" /><label for="enableLogging" id="enableLoggingLabel">Enable logging</label>\r
 189                         <input type="button" id="clearButton" value="Clear" onclick="clearLog()" class="stateful button" title="Clear all log messages"  />\r
 190                         <input type="button" id="closeButton" value="Close" onclick="window.close()" class="stateful button" title="Close the window" />\r
 191                 </div>\r
 192                 <div id="log" class="TRACE DEBUG INFO WARN ERROR FATAL"></div>\r
 193         </body>\r
 194 </html>