mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

On 23.09.22 16:48, Kovács Zoltán wrote:
> Thank you, this is very helpful.
> On the other hand, for future users it would be nice if this would be 
> automatically used,


I do not know how to do that, but perhaps I can learn it; I'll take a 
look at the macro Darcy posted in this thread as well. If I am able to 
write something sensible I think the right thing to do is a pull request 
to the TeXmacs Savannah repository.


G.