Thread
:
Font Size
View Single Post
1 Jul 2019, 01:33 PM
#
3
xyzzy
Essential Contributor
Join Date: May 2018
Posts: 477
settings -> preferences -> show advanced preferences -> advanced -> UI font
You only get two choices; Source Sans Pro, whatever that is, but I like it and it's smaller than the second choice which I always used previously, i.e., system font.
xyzzy
View Public Profile
Find More Posts by xyzzy