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.
This commit is contained in:
John "Elwin" Edwards 2012-07-10 18:39:36 -07:00
parent 24879b8123
commit 91a3111d29
3 changed files with 4 additions and 17 deletions

View file

@ -1162,16 +1162,6 @@ var termemu = {
}
};
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++) {