# HG changeset patch
# User John "Elwin" Edwards <elwin@sdf.org>
# Date 1341953618 25200
# Node ID 6c6a6e4f1e5b41b745e3d0536c3ddd98ac0db05f
# Parent  6145e1ea7ace809d5bb498e63ce672de5b2e0d55
RLG-Web client: distinguish playing and watching in UI.

Don't show the keyboard when watching games, and display appropriate
messages when playing or watching.

diff -r 6145e1ea7ace -r 6c6a6e4f1e5b index-rlg.html
--- a/index-rlg.html	Tue Jul 10 08:08:54 2012 -0700
+++ b/index-rlg.html	Tue Jul 10 13:53:38 2012 -0700
@@ -91,6 +91,8 @@
 </div>
 </div>
 <div class="centerb"><span class="ibutton" onclick="toggleBlock('keys')">Keyboard</span></div>
+</div>
+<div class="modal" id="playctl">
 <div class="rfloat"><span class="ibutton" onclick="stop()">Stop</span></div>
 <div class="rfloat">Font:
 <span onclick="textsize(false)" class="ibutton">Smaller</span>
diff -r 6145e1ea7ace -r 6c6a6e4f1e5b rlgterm.js
--- a/rlgterm.js	Tue Jul 10 08:08:54 2012 -0700
+++ b/rlgterm.js	Tue Jul 10 13:53:38 2012 -0700
@@ -662,7 +662,7 @@
       setTitle("Watching");
       debug(1, "Watching with id " + session.id);
       message("You are now watching.");
-      setmode("play");
+      setmode("watch");
       getData();
     }
     else if (reply.t == 'E') {
@@ -725,6 +725,10 @@
   if (session.id == null)
     return;
   /* TODO IFACE2 If the end was unexpected, tell player the game was saved. */
+  if (session.playing)
+    message("Finished playing.");
+  else
+    message("Finished watching.");
   session.id = null;
   session.playing = false;
   ajaxstate.clear();
@@ -767,13 +771,23 @@
     ev.preventDefault();
   if (mode == "play") {
     document.getElementById("keyboard").style.display = "block";
+    document.getElementById("playctl").style.display = "block";
     document.getElementById("startgame").style.display = "none";
     document.getElementById("login").style.display = "none";
     document.getElementById("register").style.display = "none";
     document.getElementById("current").style.display = "none";
   }
-  if (mode == "choose") {
+  else if (mode == "watch") {
     document.getElementById("keyboard").style.display = "none";
+    document.getElementById("playctl").style.display = "block";
+    document.getElementById("startgame").style.display = "none";
+    document.getElementById("login").style.display = "none";
+    document.getElementById("register").style.display = "none";
+    document.getElementById("current").style.display = "none";
+  }
+  else if (mode == "choose") {
+    document.getElementById("keyboard").style.display = "none";
+    document.getElementById("playctl").style.display = "none";
     document.getElementById("startgame").style.display = "block";
     document.getElementById("login").style.display = "none";
     document.getElementById("register").style.display = "none";
@@ -782,6 +796,7 @@
   }
   else if (mode == "login") {
     document.getElementById("keyboard").style.display = "none";
+    document.getElementById("playctl").style.display = "none";
     document.getElementById("startgame").style.display = "none";
     document.getElementById("login").style.display = "block";
     document.getElementById("register").style.display = "none";
@@ -790,6 +805,7 @@
   }
   else if (mode == "register") {
     document.getElementById("keyboard").style.display = "none";
+    document.getElementById("playctl").style.display = "none";
     document.getElementById("startgame").style.display = "none";
     document.getElementById("login").style.display = "none";
     document.getElementById("register").style.display = "block";