On Wednesday 24 December 2003 14:45, you wrote:
> > I downloaded the last today snapshot. My preferences file contains:
> > <Src-Editor-Default-Font>terminal Medium 12</Src-Editor-Default-Font>
> > but GPS shows "Courier Bold 10" in
> > Edit->Preferences->Editor->Fonts&Colors and does not want to change this
> > by any means. Editor window also displays with Courier instead of
> > terminal.
>
> This is the old format for the preferences file, and this should have
> been converted automatically to the new format (something like
> <pref name="src-editor-default-font">...</pref>
> so you are probably not looking at the right preferences file
OK, I see. My problem was that "Apply" button did not work for me (only?) in
the snapshot, while it worked in 1.4.
When I restarted GPS it accepted the changes. But still "Apply" after fonts
change seems not to work for me.
Thanks!
--
Leon Pollak
leonp at plris dot com
|
