Le Tue, 6 May 2014 17:56:17 +0800, 胡小柯 <hot123tea...@gmail.com> 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 <fpoul...@metrodore.fr> _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
