On Tue, 2 Feb 2016, Siard wrote:
That is a GTK2 setting. Font and font size can be set in ~/.gtkrc-2.0,
it should contain a line like this:
gtk-font-name = "Sans 11"
I have "Liberation Sans 11" myself.
Excellent!
(By my count this is Big Dummy Question #3,745 for Debian lists.)
Well, it certainly is not immediately obvious.
Thank you. (I meant to say, "...this is _my_ Big Dummy Question
#3,745..." I like to say this because I know there are
subscribers whose fear of appearing dumb keeps them from
posting. Mine doesn't!)
:-)
--
Bob Bernstein
