On Tuesday 02 February 2016 00:34:15 Bob Bernstein wrote: > 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!) > > :-)
:-) "There are no dumb questions. Only dumb answers." Lisi