First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] autosaving time


Chronological Thread 
  • 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.

Top of page