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

Text archives Help


Re: [TeXmacs] autosaving time


Chronological Thread 
  • From: Joris van der Hoeven <address@hidden>
  • To: Valery Pipin <address@hidden>
  • Cc: <address@hidden>
  • Subject: Re: [TeXmacs] autosaving time
  • Date: Wed, 10 Dec 2003 11:02:48 +0100 (CET)

On Wed, 10 Dec 2003, Valery Pipin wrote:
> Is it possible to change the time option for autosaving the document or
> session?

No, there is not, but it should not be extremely difficult to hack
the sources to create such an option (even though several files would
need to be changed). I have no time for this right now.

> 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.


Archive powered by MHonArc 2.6.19.

Top of page