// Style properties of the logging node.
var styles = { border: '1px solid black',
font: 'normal normal normal small monospace',
- width: '100%',
+ width: '600px',
minHeight: '300px',
maxHeight: '300px',
overflow: 'auto' };
Xex.One = new Xex.IntTerm (1);
Xex.nil = new Xex.SymTerm ('nil');
-Xex.LoadOld = function (server, file)
-{
- var obj = new XMLHttpRequest ();
- var url = server ? server + '/' + file : file;
- obj.open ('GET', url, false);
- obj.overrideMimeType ('text/xml');
- obj.send ('');
- return (obj.responseXML && obj.responseXML.firstChild);
-};
-
(function () {
var queue = new Array ();
var iframe = null;
}
}
}) ();
-