- From: David Allouche <address@hidden>
- To: address@hidden
- Subject: Re: [TeXmacs] autosaving time
- Date: Wed, 10 Dec 2003 11:24:09 +0100
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
Archive powered by MHonArc 2.6.19.