Richard Heck wrote:
>>> In thinking about this it occurred to me: If we're generating LaTeX in a
>>> separate thread, what if the Buffer changes in the meantime?
>>>      
>> Nothing, once the temporary *.tex file is written.
>> Error-insets on the wrong place, maybe? (However, they tend to be
>> somewhat off anyway.)
>>
>>    
> OK, that's good enough, then. And I expect that the tex file is written 
> before the background stuff starts.

yes. tex export are our routines, while other threads are laucnhed when we
run 3rd party convertors/compiler via startsript(), so no clash can occur
this way.

pavel

Reply via email to