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