Commit 6bd31d1
committed
Address HTML parsing bug with '<unsigned char>'
When listing text contains something like
static_cast<unsigned char>(thing)
HTML parses `<unsigned char>` as an HTML tag before Markdeep gets a
chance to see it. We had temporarily addressed this by adding spaces
inside the angle brackets, and sent an inquiry off to Morgan McGuire,
creator of Markdeep. His response was that Markdeep couldn't address
this given the parsing order, and to just wrap the entire listing in
<script type="preformatted">
...
</script>
Resolves #14631 parent f32cc8d commit 6bd31d1
File tree
3 files changed
+5
-3
lines changed- books
- src
- TheNextWeek
- TheRestOfYourLife
3 files changed
+5
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1706 | 1706 | | |
1707 | 1707 | | |
1708 | 1708 | | |
| 1709 | + | |
1709 | 1710 | | |
1710 | 1711 | | |
1711 | 1712 | | |
| |||
1807 | 1808 | | |
1808 | 1809 | | |
1809 | 1810 | | |
1810 | | - | |
| 1811 | + | |
1811 | 1812 | | |
1812 | 1813 | | |
1813 | 1814 | | |
| |||
1835 | 1836 | | |
1836 | 1837 | | |
1837 | 1838 | | |
| 1839 | + | |
1838 | 1840 | | |
1839 | 1841 | | |
1840 | 1842 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
107 | 107 | | |
108 | 108 | | |
109 | 109 | | |
110 | | - | |
| 110 | + | |
111 | 111 | | |
112 | 112 | | |
113 | 113 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
107 | 107 | | |
108 | 108 | | |
109 | 109 | | |
110 | | - | |
| 110 | + | |
111 | 111 | | |
112 | 112 | | |
113 | 113 | | |
| |||
0 commit comments