Closed GoogleCodeExporter closed 8 years ago
????? Can't be reproduced
That's probably because you're trying to load a document with an encoding
different of the choice made in the settings.
Original comment by pa.brac...@gmail.com
on 3 Mar 2015 at 3:02
Original issue reported on code.google.com by
slick...@gmail.com
on 3 Mar 2015 at 9:57