Le Tue, 6 May 2014 17:56:17 +0800, 胡小柯 <[email protected]> a écrit :
> sorry, I should say I set user interface language as Chinese. This way, I don't reproduce the bug. Is it an Arch package, or did you built it yourself? François -- François Poulain <[email protected]> _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
