changeset 67:b6a3b26fe0dc

RLG-Web client: some visual improvements. Hide the debugging messages by default.
author John "Elwin" Edwards <elwin@sdf.org>
date Wed, 20 Jun 2012 14:11:57 -0700
parents 57bf0dcd080e
children 4728fc71bbda
files index-rlg.html rlgterm.js style-rlg.css
diffstat 3 files changed, 14 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/index-rlg.html	Wed Jun 20 11:37:05 2012 -0700
+++ b/index-rlg.html	Wed Jun 20 14:11:57 2012 -0700
@@ -115,8 +115,8 @@
 </div>
 </div>
 </div>
+<div class="rfloat"><span class="ibutton" onclick="toggledebug()">Messages</span></div>
 <div id="debug">
-<p>Debugging Output</p>
 </div>
 </body>
 </html>
--- a/rlgterm.js	Wed Jun 20 11:37:05 2012 -0700
+++ b/rlgterm.js	Wed Jun 20 14:11:57 2012 -0700
@@ -731,6 +731,13 @@
   }
 }
 
+function toggledebug() {
+  if (document.getElementById("debug").style.display != "block")
+    document.getElementById("debug").style.display = "block";
+  else
+    document.getElementById("debug").style.display = "none";
+}
+
 function debug(level, msg) {
   if (level < debugSuppress)
     return;
--- a/style-rlg.css	Wed Jun 20 11:37:05 2012 -0700
+++ b/style-rlg.css	Wed Jun 20 14:11:57 2012 -0700
@@ -62,5 +62,11 @@
 
 div#nogames {
 	display: none;
+	margin-top: 2em;
+	font-weight: bold;
 	text-align: center;
 }
+
+div#debug {
+	display: none;
+}