Fonts in snapshot

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