4 commits

Author	SHA1	Message	Date
John MacFarlane	f11d0c9dc8	HTML: prevent gratuitious emojification on iOS. ... iOS chooses to render a number of Unicode entities, including '↩', as big colorful emoji. This can be defeated by appending Unicode VARIATION SELECTOR-15'/'VARIATION SELECTOR-16'. So we now append this character when escaping strings, for both '↩' and '↔'. If other characters prove problematic, they can simply be added to needsVariationSelector. Closes #5469.	2019-04-30 22:32:52 -07:00
John MacFarlane	b74267406b	Update test for last commit.	2019-02-02 16:20:06 -08:00
John MacFarlane	13f7c2cf83	Fixed a test case so it works on windows too.	2018-01-09 17:45:02 -08:00
John MacFarlane	e3f01235e9	HTML writer: Fixed footnote backlinks with --id-prefix. ... Closes #4235.	2018-01-09 15:29:27 -08:00