*** empty log message ***

[m17n/m17n-lib-js.git] / xex.js

diff --git a/xex.js b/xex.js
index ccd6e65..cd440c1 100644 (file)
--- a/xex.js
+++ b/xex.js
@@ -33,7 +33,7 @@ var Xex = {};
   // 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' };
@@ -1351,16 +1351,6 @@ Xex.Zero = new Xex.IntTerm (0);
 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;
@@ -1402,4 +1392,3 @@ Xex.LoadOld = function (server, file)
       }
   }
 }) ();
-