0--prettify.js00-target/thesefoolishthings/modules/thesefoolishthings-examples/it-tidalwave-thesefoolishthings-examples-dci-displayable/jacoco/jacoco-resources/prettify.js29C8F5C043678C9A5A8451AF0DF0EC20217217maybe style special characters inside a regexp as punctuation.TheseFoolishThingsopen-tasks-531NORMALprettify.js(217,0): TODO: : maybe style special characters inside a regexp as punctuation.TODO0--prettify.js00-target/thesefoolishthings/modules/thesefoolishthings-examples/it-tidalwave-thesefoolishthings-examples-dci-displayable/jacoco/jacoco-resources/prettify.js5ED2C9182BC49322F20B307E941D68EF550550handle letters in numeric escapes.TheseFoolishThingsopen-tasks-531NORMALprettify.js(550,0): TODO: : handle letters in numeric escapes.TODO0--prettify.js00-target/thesefoolishthings/modules/thesefoolishthings-examples/it-tidalwave-thesefoolishthings-examples-dci-displayable/jacoco/jacoco-resources/prettify.jsE2E7C13167AF8F5D9AD06222C9F91C0610251025(mikesamuel): recognize non-latin letters and numerals in identsTheseFoolishThingsopen-tasks-531NORMALprettify.js(1025,0): TODO: : (mikesamuel): recognize non-latin letters and numerals in identsTODO33 warnings (normal: 3)