I'm trying to set the font in
gnome-terminal to 9.5, which is ideal for me. I have installed many programming fonts, viz. proggy, anonymous-pro, terminus, inconsolata, droid-monovar, consolas, gohu, anka-coder, termsyn and montecarlo).
I have tried the terminals GNOME Terminal, Konsole and Xfce4 Terminal, but none of them seem to make available the "9.5pt" size (or any other fractional size) for any font.
Is the problem with my fonts or my terminal?