From: | Melvin Davidson <melvin6925(at)yahoo(dot)com> |
---|---|
To: | Attila Soki <atiware(at)gmx(dot)net>, "pgadmin-support(at)postgresql(dot)org" <pgadmin-support(at)postgresql(dot)org> |
Subject: | Re: pgAdmin4, how to customize sql panel font size |
Date: | 2016-08-16 17:00:01 |
Message-ID: | 1478274908.17175331.1471366801633.JavaMail.yahoo@mail.yahoo.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgadmin-support |
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 <atiware(at)gmx(dot)net>
To: pgadmin-support(at)postgresql(dot)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
Attachment | Content-Type | Size |
---|---|---|
Pa4SmallFont.jpg | image/jpeg | 150.2 KB |
From | Date | Subject | |
---|---|---|---|
Next Message | Dave Page | 2016-08-16 18:08:03 | Re: pgAdmin4 v1.0 Beta 4 now available |
Previous Message | Anthony DeBarros | 2016-08-16 16:58:07 | Re: pgAdmin4 v1.0 Beta 4 now available |