I concur with Attila, except in Windows 10 the problem is the opposite, the font is too small. (see attached).
This is a major drawback compared to PgAdmin3, where fonts where customizable for Object Browser, Query tool and Database Designer.
I would hope that this is just because PgAdmin4 is still in development, otherwise, I see no advantage to it over PgAdmin3, as it is giving up too many options.
From: Attila Soki <atiware@gmx.net> To:pgadmin-support@postgresql.org Sent: Tuesday, August 16, 2016 12:05 PM Subject: [pgadmin-support] pgAdmin4, how to customize sql panel font size
Hi,
i installed pgAdmin4 Beta 4 on OSX 10.10.5 thanks for the rewrite, it looks really good :)
one little thing, i am not sure if this only on my mac, but for my taste the font size of the SQL panel is a bit too big, approx 16pt is there a way to customize it? I would prefer the same font size as the tab-title. i looked in the preferences but did not found anything font related.