mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

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