Updates:
Owner: geoffers
Comment #2 on issue 157 by geoffers: Add "escape invisible characters"
option
http://code.google.com/p/html5lib/issues/detail?id=157
I've now got a new patch which generates the ignore characters from the
unicodedata module, and uses re to do the replacements (which makes it
quicker, though still O(nm)). I'll finish this off and push it soon.
--
You received this message because you are subscribed to the Google Groups
"html5lib-discuss" group.
To post to this group, send an email to html5lib-discuss@googlegroups.com.
To unsubscribe from this group, send email to
html5lib-discuss+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/html5lib-discuss?hl=en-GB.
