Re: Fonts in snapshot
Leon Pollak <[email protected]> Wed, 24 Dec 2003 16:02:43 +0200
| Newsgroups | gmane.comp.ide.gps.devel |
|---|---|
| Organization | PLR Information Systems Ltd. |
| Message-ID | <[email protected]> |
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