On 05.05.21 15:46, TeXmacs wrote:
Hi Max, I looked into all problems. I think that I fixed the first one, but need feed-back from Giovanni.
I have compiled and installed the current development version, but I am not confident that I am running it instead of 1.99.19, as despite I am trying to point my system to the development version I am still seeing the same configuration of the default texmacs.
But it may be, as the editor looks a bit different. In the test I have done I still get the same debug message. _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
