Fix issue with inspection tooltip by showing the character with generated content instead of the escaped character.

Author: hzr

src/syntaxhighlight/js/tokenizer.js

@@ -359,35 +359,35 @@ cls.SimpleJSParser.prototype = new function()
     '&': '&',
     // The following control characters need to be escaped in XML.
     // U+0000-U+001F excluding U+0009, U+000A and U+000D.
-    '\u0000': '\\u0000',
-    '\u0001': '\\u0001',
-    '\u0002': '\\u0002',
-    '\u0003': '\\u0003',
-    '\u0004': '\\u0004',
-    '\u0005': '\\u0005',
-    '\u0006': '\\u0006',
-    '\u0007': '\\u0007',
-    '\u0008': '\\u0008',
-    '\u000b': '\\u000b',
-    '\u000c': '\\u000c',
-    '\u000e': '\\u000e',
-    '\u000f': '\\u000f',
-    '\u0010': '\\u0010',
-    '\u0011': '\\u0011',
-    '\u0012': '\\u0012',
-    '\u0013': '\\u0013',
-    '\u0014': '\\u0014',
-    '\u0015': '\\u0015',
-    '\u0016': '\\u0016',
-    '\u0017': '\\u0017',
-    '\u0018': '\\u0018',
-    '\u0019': '\\u0019',
-    '\u001a': '\\u001a',
-    '\u001b': '\\u001b',
-    '\u001c': '\\u001c',
-    '\u001d': '\\u001d',
-    '\u001e': '\\u001e',
-    '\u001f': '\\u001f'
+    '\u0000': '<span style="content: \'\\0000\'">␀</span>',
+    '\u0001': '<span style="content: \'\\0001\'">␁</span>',
+    '\u0002': '<span style="content: \'\\0002\'">␂</span>',
+    '\u0003': '<span style="content: \'\\0003\'">␃</span>',
+    '\u0004': '<span style="content: \'\\0004\'">␄</span>',
+    '\u0005': '<span style="content: \'\\0005\'">␅</span>',
+    '\u0006': '<span style="content: \'\\0006\'">␆</span>',
+    '\u0007': '<span style="content: \'\\0007\'">␇</span>',
+    '\u0008': '<span style="content: \'\\0008\'">␈</span>',
+    '\u000b': '<span style="content: \'\\000b\'">␋</span>',
+    '\u000c': '<span style="content: \'\\000c\'">␌</span>',
+    '\u000e': '<span style="content: \'\\000e\'">␎</span>',
+    '\u000f': '<span style="content: \'\\000f\'">␏</span>',
+    '\u0010': '<span style="content: \'\\0010\'">␐</span>',
+    '\u0011': '<span style="content: \'\\0011\'">␑</span>',
+    '\u0012': '<span style="content: \'\\0012\'">␒</span>',
+    '\u0013': '<span style="content: \'\\0013\'">␓</span>',
+    '\u0014': '<span style="content: \'\\0014\'">␔</span>',
+    '\u0015': '<span style="content: \'\\0015\'">␕</span>',
+    '\u0016': '<span style="content: \'\\0016\'">␖</span>',
+    '\u0017': '<span style="content: \'\\0017\'">␗</span>',
+    '\u0018': '<span style="content: \'\\0018\'">␘</span>',
+    '\u0019': '<span style="content: \'\\0019\'">␙</span>',
+    '\u001a': '<span style="content: \'\\001a\'">␚</span>',
+    '\u001b': '<span style="content: \'\\001b\'">␛</span>',
+    '\u001c': '<span style="content: \'\\001c\'">␜</span>',
+    '\u001d': '<span style="content: \'\\001d\'">␝</span>',
+    '\u001e': '<span style="content: \'\\001e\'">␞</span>',
+    '\u001f': '<span style="content: \'\\001f\'">␟</span>'
   }
   var default_parser=function(c)
   {