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: David Allouche <address@hidden>
  • Cc: <address@hidden>
  • Subject: Re: [TeXmacs] autosaving time
  • Date: Wed, 10 Dec 2003 15:42:04 +0100 (CET)

On Wed, 10 Dec 2003, David Allouche wrote:
> On Wed, Dec 10, 2003 at 11:02:48AM +0100, Joris van der Hoeven wrote:
> > 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.
>
> Done. Patch attached to this message.

Thanks; the patch has been applied for the next version.

> Not what I would call an "easy" patch though.

No, but just creating a patch with an option to disable autosaving
would not have been very difficult either. Anyway, being able to
select the autosave time is even better.


Archive powered by MHonArc 2.6.19.

Top of page