Hi Lorenzo, On Fri, Dec 04, 2020 at 02:48:30PM +0100, lid lor wrote: > Not immediately, unfortunately. > It will require asking the IT guys to install the updated version, and > this is going to take some days.
OK, please let us know when you can test with the current version. I am afraid that the problem will still be present, but we have changed quite a few things, so one never knows... Thanks for your help in any case. Best wishes, --Joris _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev