[Users] Microtype in menus

[Steven Lembark]

On Sat, 18 Apr 2020 20:46:28 -0000
Paul <claws at thewildbeast.co.uk> wrote:

> The font that is used for the menus, which is what is being discussed
> here, is controlled by the GTK2 theme (and is common to all GTK2
> programmes).

Joy of it is deaing with a mixture of .Xresources,
.config/gtk-3.0/settings.ini, and .gtk2rc...

-- 
Steven Lembark                                      5725 Aylesboro Ave
Workhorse Computing                                Pittsburgh PA 15217
lembark at wrkhors.com                                    +1 888 359 3508