function htmlentities(input) {
return input.replace(/\&/g, '&').replace(//g, '>');
}
function startui() {
window.dragging = false;
window.resizing = false;
window.windows = [];
window.nwindows = 0;
window.Nwindows = 0;
var button = document.createElement('input');
button.type = 'button';
button.value = 'New';
button.onclick = function () {
document.body.appendChild(newWindow('' + window.Nwindows, true));
}
document.body.appendChild(button);
document.onmousemove = function(event) {
if (window.dragging != false) {
var x = parseInt(window.dragging.style.left.replace('px', ''));
var y = parseInt(window.dragging.style.top.replace('px', ''));
x += (event.screenX - window.dragging.x);
window.dragging.x = event.screenX;
y += (event.screenY - window.dragging.y);
window.dragging.y = event.screenY;
window.dragging.style.top = y + 'px';
window.dragging.style.left = x + 'px';
} else if (window.resizing != false) {
var dx = event.screenX - window.resizing.x;
var dy = event.screenY - window.resizing.y;
window.resizing.resizeDiv.style.width = (parseInt(window.resizing.resizeDiv.style.width.replace(/px$/, '')) + dx) + 'px';
window.resizing.resizeDiv.style.height = (parseInt(window.resizing.resizeDiv.style.height.replace(/px$/, '')) + dy) + 'px';
window.resizing.x = event.screenX;
window.resizing.y = event.screenY;
}
}
}
function newWindow(id, canclose) {
var div = document.createElement('div');
window.windows.push(div);
window.nwindows++;
window.Nwindows++;
div.id = id;
div.userList = [];
div.setAttribute('class', 'window');
div.style.top = (window.nwindows * 10 + 10) + 'px';
div.style.left = (window.nwindows * 10 + 10) + 'px';
div.style.width = '320px';
div.style.height = '320px';
div.style.zIndex = window.nwindows;
div.bg = document.createElement('div');
div.bg.setAttribute('class', 'bg');
div.output = document.createElement('textarea');
div.output.div = div;
div.output.setAttribute('class', 'output');
div.output.write = function(data) {
this.value += data;
this.scrollTop = this.scrollHeight;
}
div.input = document.createElement('textarea');
div.input.div = div;
div.input.setAttribute('class', 'input');
div.input.onkeydown = function(event) {
if (event.keyCode == 13) {
div.output.write(div.input.value+'\n');
eval(div.input.value);
div.input.value = '';
return false;
}
}
div.input.style.zIndex = 1;
div.titleBar = document.createElement('div');
div.titleBar.div = div;
div.titleBar.setAttribute('class', 'title');
div.titleBar.innerHTML = '' + unescape(div.id) + '';
div.titleBar.onmousedown = function(event) {
this.div.x = event.screenX;
this.div.y = event.screenY;
window.dragging = this.div;
for (var i = 0; i < window.windows.length; i++)
if (window.windows[i].style.zIndex > window.dragging.style.zIndex)
window.windows[i].style.zIndex--;
window.dragging.style.zIndex = window.nwindows;
event.preventDefault();
return false;
}
// avoid that trapping bug by using global not div.titleBar
window.onmouseup = function(event) {
window.dragging = false;
if (window.resizing != false) {
window.resizing.style.width = window.resizing.resizeDiv.style.width;
window.resizing.style.height = window.resizing.resizeDiv.style.height;
document.body.removeChild(window.resizing.resizeDiv);
resizeCompute(window.resizing);
window.resizing = false;
}
}
var link = document.createElement('a');
link.href = 'javascript:hideWindow(\'' + escape(id) + '\')';
link.id = div.id + 'vis';
var span = document.createElement('span');
span.setAttribute('class', 'button');
span.style.float = 'right';
span.innerHTML = '↓';
link.appendChild(span);
div.titleBar.appendChild(link);
if (canclose) {
link = document.createElement('a');
link.href = 'javascript:closeWindow(\'' + escape(id) + '\')';
span = document.createElement('span');
span.setAttribute('class', 'button');
span.style.float = 'right';
span.innerHTML = 'x';
link.appendChild(span);
div.titleBar.appendChild(link);
}
div.resizeHandle = document.createElement('div');
div.resizeHandle.div = div;
div.resizeHandle.setAttribute('class', 'resizer');
div.resizeHandle.onmousedown = function(event) {
window.resizing = this.div;
window.resizing.x = event.screenX;
window.resizing.y = event.screenY;
var rdiv = document.createElement('div');
window.resizing.resizeDiv = rdiv;
rdiv.div = this.div;
rdiv.setAttribute('class', 'resizeBox');
rdiv.style.zIndex = rdiv.div.style.zIndex + 1;
rdiv.style.position = 'absolute';
rdiv.style.width = window.resizing.style.width;
rdiv.style.height = window.resizing.style.height;
rdiv.style.top = window.resizing.style.top;
rdiv.style.left = window.resizing.style.left;
document.body.appendChild(rdiv);
event.preventDefault();
return false;
}
div.bottom = document.createElement('div');
div.bottom.setAttribute('class', 'bottom');
div.bottom.appendChild(div.resizeHandle);
div.appendChild(div.bg);
div.appendChild(div.output);
div.appendChild(div.input);
div.appendChild(div.titleBar);
div.appendChild(div.bottom);
resizeCompute(div);
return div;
}
function closeWindow(id) {
var win = document.getElementById(id);
if (win != null)
document.body.removeChild(win);
window.nwindows--;
}
function hideWindow(id) {
var div = document.getElementById(id);
var button = document.getElementById(id + 'vis');
div.oldheight = div.style.height;
div.style.height = '1.2em';
div.output.style.display = 'none';
div.input.style.display = 'none';
div.bg.style.display = 'none';
div.bottom.style.display = 'none';
div.resizeHandle.style.display = 'none';
button.getElementsByTagName('span')[0].innerHTML = '↑';
button.href = 'javascript:showWindow(\'' + escape(id) + '\');';
}
function showWindow(id) {
var div = document.getElementById(id);
var button = document.getElementById(id + 'vis');
div.style.height = div.oldheight;
div.output.style.display = 'block';
div.input.style.display = 'block';
div.resizeHandle.style.display = 'block';
div.bg.style.display = 'block';
div.bottom.style.display = 'block';
button.getElementsByTagName('span')[0].innerHTML = '↓';
button.href = 'javascript:hideWindow(\'' + escape(id) + '\');';
}
function resizeCompute(div) {
var width = div.style.width.replace(/px$/, '');
var height = div.style.height.replace(/px$/, '');
div.titleBar.style.width = width + 'px';
div.input.style.width = (width - 20) + 'px';
div.output.style.width = (width - 10) + 'px';
div.output.style.height = (height - 140) + 'px';
div.bg.style.height = (height - 80) + 'px';
}