mailing-list for TeXmacs Users

[David Allouche <address@hidden>]

On Wed, Dec 10, 2003 at 12:24:29PM +0800, Valery Pipin wrote:
> Hello Everybody!
> 
> Is it possible to change the time option for  autosaving the document or 
> session? The texmacs does it very often. I prefer to refuse the  autosave 
> option at all. This is especially usefull when I batch some maxima program 
> within texmacs.

Currently, the autosave period is hardcoded into texmacs.

If you are interested, I can tell where to tweak the source code in
order to change this value. But you would have to recompile texmacs.

-- 
                                                            -- ddaa