I assume your email was intended to make the point visually? :-) I've made the font size configurable - the change will be in the next release, or is in git now.
On Tue, Aug 16, 2016 at 6:00 PM, Melvin Davidson <melvin6...@yahoo.com> wrote: > > *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.* > > Melvin Davidson > Cell 720-320-0155 > I reserve the right to fantasize. Whether or not you > wish to share my fantasy is entirely up to you. > www.youtube.com/unusedhero/videos > Folk Alley - All Folk - 24 Hours a day > www.folkalley.com > > > > ------------------------------ > *From:* Attila Soki <atiw...@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. > > here is a screenshot for reference: > http://pasteboard.co/9o14NC4xP.png > > > thanks > > Attila > > -- > Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) > To make changes to your subscription: > http://www.postgresql.org/mailpref/pgadmin-support > > > > -- > Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) > To make changes to your subscription: > http://www.postgresql.org/mailpref/pgadmin-support > > -- Dave Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterprisedb.com The Enterprise PostgreSQL Company
