mailing-list for TeXmacs Users

[Alfe <address@hidden>]

Hi, Andrea ...

Andrea Gamba wrote:
> 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.

You'd have to deal with a bunch of concurrency problems then, e. g. one 
starts the PDF creation, then removes some chapters, then the PDF creation 
finishes.  Are then the removed chapters in the resulting PDF or not?  If 
they aren't, does the Table of Contents still list them (in case this has 
been created already while the chapters were still present)?

To solve this problem, TeXmacs would have to create the PDF from an 
internally created copy of the current document (whose creation might be a 
similar long-running task as the PDF creation).

What you are talking about is the old problem of modal dialogs and their 
(questionable) necessity.

Alfe