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