Texts In the "Index" or "ToC" of the pdf viewer are displayed incorrectly (looks like wrong encoding), while the contents are displayed correctly. (In the image above, left-side wrong, right-side correct)
Is it because of the wrong encoding?
I'm using archlinux, locale is en_US.UTF-8 (so only utf8-encoded texts can be displayed correctly).
TeXmacs 1.99.1
--
Where there is a hacker, there is art.