gnome-terminal: Adding Fonts?

["John W. M. Stevens" <john betelgeuse us>]

Hi,

I'm running gnome-terminal v 2.4.2 on a Debian system.  Gnome-terminal
has serious problems with non-monospace fonts, and the monospace fonts
that I can select do not include all of the available monospace fonts.

I would like to go back to using my old monospace fonts, but I can't
figure out how to make the program use them.

Specifically, in the:

/usr/X11R6/lib/X11/fonts/misc

directory, there are a bunch of fonts:

(from fonts.alias)

8x16         -sony-fixed-medium-r-normal--16-120-100-100-c-80-iso8859-1
12x24        -sony-fixed-medium-r-normal--24-170-100-100-c-120-iso8859-1
-sony-fixed-medium-r-normal--16-150-75-75-c-80-iso8859-1
-sony-fixed-medium-r-normal--16-120-100-100-c-80-iso8859-1
-sony-fixed-medium-r-normal--24-230-75-75-c-120-iso8859-1
-sony-fixed-medium-r-normal--24-170-100-100-c-120-iso8859-1

That I would like to add to the fonts control in 2.4.2's preferences
setting dialog, but I can't figure out where the configuration data
for this control is kept and/or managed.

Can anybody point me to documentation that describes how gnome-terminal
determines what to display in the font selection dialog, and how to
add these fonts to the list?

Thanks,
John S.