mailing-list for TeXmacs Users

[Javier Arantegui <address@hidden>]

Hello!

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?

Thanks,

Javier


-- 
Javier Arántegui
Dept. Tecnologia de Alimentos / Dept. of Food Technology
Universitat de Lleida / University of Lleida (Spain)
         
Tel. +34 973702595
Fax  +34 973702596
http://www.tecal.udl.es