From ead2f157ff43c71c9daea18faf4e35bb4b9a4720 Mon Sep 17 00:00:00 2001
From: James Feng Cao <jamesfengcao@torapp.info>
Date: Wed, 8 Sep 2021 16:26:37 +0800
Subject: [PATCH] rebuilding site Wed Sep  8 04:26:37 PM CST 2021

---
 searchurl/ace.js     | 2 +-
 searchurl/ace_t.html | 5 +++--
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/searchurl/ace.js b/searchurl/ace.js
index 2c121a4d..bb96e622 100644
--- a/searchurl/ace.js
+++ b/searchurl/ace.js
@@ -4,7 +4,7 @@ onload=function(){
   var ext = location.href.split('.').pop();
   {
     var ta=d.getElementById("textarea");
-    var text=ta.innerHTML;
+    var text=ta.value;
     var e = d.getElementById("editor");
     
     switch(ext){
diff --git a/searchurl/ace_t.html b/searchurl/ace_t.html
index e5384d2c..9890f9d8 100644
--- a/searchurl/ace_t.html
+++ b/searchurl/ace_t.html
@@ -8,9 +8,10 @@
     }
     #textarea{display:none}
 </style>
-<script src='http://cdn.bootcss.com/ace/1.2.3/ace.js'></script>
-<script src='http://cdn.bootcss.com/ace/1.2.3/ext-language_tools.js'></script>
+<script src='http://cdn.bootcss.com/ace/1.4.9/ace.js'></script>
+<script src='http://cdn.bootcss.com/ace/1.4.9/ext-language_tools.js'></script>
 <pre id='editor'></pre>
 <script src='ace.js'></script>
 <textarea id='textarea'>
+  &
 html.replace(/<font.+\/font>/,'');