I created a pr (https://github.com/texmacs/texmacs/pull/42) for:
https://savannah.gnu.org/bugs/?57850
It should work fine but might not be the best solution. I created a PR but not
committed because I think it may increase the complexity for the code base.
---- On Thu, 2020-10-22 00:22:09 TeXmacs <texm...@lix.polytechnique.fr> wrote
----
Hi,
I am preparing version 1.99.14. If someone has some urgent ideas
about things to look at before the release, then please let me know.
Best wishes, --Joris
_______________________________________________
Texmacs-dev mailing list
mailto:Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev
