Hi, Le Fri, 21 Mar 2014 17:56:33 +0100, "Enrique Perez-Terron" <en...@online.no> a écrit :
> Perusing the source code, I stumbled upon this: You are completely right. This has been fixed in rev 8200. François -- François Poulain <fpoul...@metrodore.fr> _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev