need font selection preference

[GoogleCodeExporter]

Add ability to select fonts (both for external terminal and primary 
hotwire screens) in preferences window. 

Original issue reported on code.google.com by qu...@sparq.org on 25 Mar 2008 at 11:31

[GoogleCodeExporter]

Should be pretty easy, I'll take a look tonight.

Original comment by cgwalt...@gmail.com on 25 Mar 2008 at 11:51

• Changed state: Accepted

[GoogleCodeExporter]

Under GNOME we should pick up the system monocode font from GConf for vte; is 
this
for non-GNOME systems?

As for the main screen, do we want the font preference to affect just the
UnicodeRenderer (e.g. for system command output), or all fonts including e.g. 
the
PsRenderer treeview, etc.?

Original comment by cgwalt...@gmail.com on 26 Mar 2008 at 2:11

[GoogleCodeExporter]

I am not using Gnome (installing hotwire required lots of dependent packages 
that I 
don't normally use).  I have hotwire on 2 systems: one is reasonable but the 
other 
is using a fairly large font for everything, so the answer to your second 
question 
is all fonts.

Perhaps font selection is done via some Gnome configuration files, so if it's 
something that should be done by editing those configs rather than with a font 
selector in hotwire, then the configuration panels should have a note to this 
effect 
for us non-Gnomes.

Original comment by qu...@sparq.org on 26 Mar 2008 at 6:31