[gps-devel] Fonts in snapshot

Leon Pollak leonp@plris.com
Wed, 24 Dec 2003 14:12:12 +0200


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