diff termemu.js @ 92:a4d3ecf188b7

RLG-Web client: replace setTitle() with message(). Remove the title line, and make setTitle() add a message instead. Also remove setTitle() from termemu.js, because shterm.js duplicates the code.
author John "Elwin" Edwards <elwin@sdf.org>
date Tue, 10 Jul 2012 18:39:36 -0700
parents 7a50b4412fea
children 144595e50376
line wrap: on
line diff
--- a/termemu.js	Tue Jul 10 16:32:49 2012 -0700
+++ b/termemu.js	Tue Jul 10 18:39:36 2012 -0700
@@ -1162,16 +1162,6 @@
   }
 };
 
-function setTitle(tstr) {
-  var titlespan = document.getElementById("ttitle");
-  var tnode = document.createTextNode(tstr);
-  if (titlespan.childNodes.length == 0)
-    titlespan.appendChild(tnode);
-  else
-    titlespan.replaceChild(tnode, titlespan.childNodes[0]);
-  return;
-}
-
 function dchunk(codes) {
   var dstr = "Chunk: ";
   for (var i = 0; i < codes.length; i++) {