I am working in macOS and I can't reproduce the reported behavior.Alternatively, you could copy the file to a subdirectory of your home directory using your OS first, and then edit that copy from TeXmacs.BasileLe 3 mars 2020 à 21:03, Nicolas Chouvalidzé <address@hidden> a écrit :
- I cannot save the modified source file (even if all other texmacs windows are closed, or if I try to save it as a new doc), which is a real problem...
Archive powered by MHonArc 2.6.19.