--- test/html-webhacc/cc-script.js 2008/03/16 05:45:10 1.2
+++ test/html-webhacc/cc-script.js 2008/03/16 07:25:10 1.3
@@ -24,6 +24,9 @@
var lineEl = document.getElementById (idPrefix + 'line-' + line);
if (lineEl) {
lineText = lineEl.innerHTML
+ .replace (/U\+([0-9A-F]{4})<\/var>/g, function (s) {
+ return String.fromCharCode (parseInt (s, 16));
+ })
.replace (/</g, '<')
.replace (/>/g, '>')
.replace (/ /g, '\u00A0')
@@ -88,4 +91,4 @@
}
} // addSourceToParseErrorList
-// $Date: 2008/03/16 05:45:10 $
+// $Date: 2008/03/16 07:25:10 $