On Wednesday, November 16, 2011 08:10:57 AM Adam Chlipala wrote: > James Parker wrote: > > Sorry for taking so long to get back to you. Yes, it now parses and > > compiles "©". The only thing is Firefox 8 (OS X 10.7) adds an > > extra character before the copyright symbol. I have attached a > > screenshot. > Weird. Works fine in Chrome and Opera. Right now, I'm compiling the > character entities into normal UTF-8, but perhaps it's necessary to > output them as character entities. I'll look into it soon. Thanks for > the bug report! >
I think Firefox is using ISO8859-1 character encoding; if the encoding is manual changed with the control sequence view->character encoding->utf8 it displays without the prefix. > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
