--- 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 $