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

Text archives Help


Re: [TeXmacs] I cannot save Preferences


Chronological Thread 
  • From: Joris van der Hoeven <address@hidden>
  • To: Javier Arantegui <address@hidden>
  • Cc: <address@hidden>
  • Subject: Re: [TeXmacs] I cannot save Preferences
  • Date: Tue, 26 Apr 2005 11:28:51 +0200 (CEST)

Hi,

On Fri, 8 Apr 2005, Javier Arantegui wrote:
> One recurrent problem I have is when I change something in Preferences (like
> Font Type), the change is not saved. So, I must go to Preferences and redo
> the change. I don't know if this is a common problem. If it's not, what do
> you think is causing the problem? How can I make sure that the preferences
> are saved?

Changes in the preferences are automatically saved. However, there seems
to be a no-so-frequent bug which makes TeXmacs erase the preferences in
certain circumstances. I plan to investigate this in detail at a certain
point; it may be due to interrupting TeXmacs during boot-time.

Best wishes, Joris


  • I cannot save Preferences, Javier Arantegui, 04/08/2005
    • Re: [TeXmacs] I cannot save Preferences, Joris van der Hoeven, 04/26/2005

Archive powered by MHonArc 2.6.19.

Top of page