X-Git-Url: http://git.chise.org/gitweb/?p=m17n%2Fm17n-lib-js.git;a=blobdiff_plain;f=xex.js;fp=xex.js;h=cd440c1accf9d3224de76bfa7a754d6770db6f25;hp=ccd6e653252ab38d71df151959bcd6e3266011b7;hb=fa6d04705b055b5a11c3466973cfcdbbd6252402;hpb=7fd3557aaf324859cda73dd7b0fce908e720951a

diff --git a/xex.js b/xex.js
index ccd6e65..cd440c1 100644
--- 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)
       }
   }
 }) ();
-