Hi, > On 16. Oct 2018, at 16:07, Darcy Shen <[email protected]> wrote: > > Normally, I just wait for the official release of GNU TeXmacs. But there is a > severe bug in GNU TeXmacs 1.99.8. And this is my fix: > https://github.com/texmacs/GNUTeXmacs/commit/fe0b382070e8355426a1356a46bda7b372503cf5 > > <https://github.com/texmacs/GNUTeXmacs/commit/fe0b382070e8355426a1356a46bda7b372503cf5> >
can you explain precisely what the bug was? That line you removed seems to have been written with some particular purpose so maybe removing it could apriori cause some problem elsewhere. Best Max
_______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
