mailing-list for TeXmacs Users

[<address@hidden>]

It works !!

I forgot to include the screenshot of the error message I had when I tried to save the source file : it actually said "Error : No error".

The problem was that files needed administrator permission to be saved... Maybe this error message should be changed so that the problem can be solved by users without help.

And thank you very much for the explanation on how style macros work : it is all very clearer now.

Nicolas.

Le mer. 4 mars 2020 à 09:06, Basile Audoly <address@hidden> a écrit :

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.

Basile

Le 3 mars 2020 à 21:03, <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...