Skip to content
Snippets Groups Projects
Commit 756e91b4 authored by deuce's avatar deuce
Browse files

Use HTML and a DIV rather than plaintext

parent 2201ec42
No related branches found
No related tags found
No related merge requests found
var connection=null;
function writeText(data)
function writeHTML(data)
{
var term=document.getElementById("frame").contentDocument.getElementById("terminal");
var win=document.getElementById("frame").contentWindow;
var frame=document.getElementById("frame");
var doc=frame.contentDocument;
var win=frame.contentWindow;
var term=doc.getElementById("terminal");
var top;
term.innerHTML += data;
win.scroll(0, term.clientHeight);
if(term.scroll != undefined && term.clientHeight != undefined) {
term.scroll(0, term.clientHeight);
}
else if(term.scrollHeight != undefined && term.scrollTop != undefined) {
top=term.scrollHeight-term.clientHeight;
if(top < 0)
top=0;
if(term.scrollTop != top)
term.scrollTop=top;
}
}
function writeText(data)
{
data=data.replace(/&/g,'&amp;');
data=data.replace(/</g,'&lt;');
data=data.replace(/>/g,'&gt;');
data=data.replace(/'/g,'&apos;');
data=data.replace(/"/g,'&quot;');
data=data.replace(/ /g,'&nbsp;');
writeHTML(data);
}
function handleCtrl(byte)
......@@ -17,9 +40,10 @@ function handleCtrl(byte)
switch(byte) {
case '\n':
writeHTML('<br>');
break;
case '\t':
case '\r':
writeText(byte);
break;
case '\b':
term.innerHTML = term.innerHTML.replace(/[^\x00-\x1F]$/,'');
......
<html>
<body><plaintext id="terminal">
<body><div id="terminal" width="640px" height="400px"></textarea></body>
</html>
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment