Fonts in snapshot

Leon Pollak <[email protected]> Wed, 24 Dec 2003 14:12:12 +0200
Newsgroups gmane.comp.ide.gps.devel
Organization PLR Information Systems Ltd.
Message-ID <[email protected]>
Hello.
	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.

Hope this is useful.

-- 
Leon Pollak
leonp at plris dot com