mailing-list for TeXmacs Users

[Andrea Gamba<address@hidden>]

When texmacs is producing a long pdf, or formatting a long document, it stops
being usable and one has to wait the end of the job to be able to interact
again with the program.

It would be much better if the production of the pdf or of the new document
were treated as background jobs, so that the user could continue to interact
with the program during their completion.

A bar could signal the advancement of those jobs while they are being
completed.