Re: pgAdmin4, how to customize sql panel font size - Mailing list pgadmin-support

From Dave Page
Subject Re: pgAdmin4, how to customize sql panel font size
Date
Msg-id CA+OCxowbh3MS3Za_enCcOUsAC=k8Ldpx9QeU3ZrmC-fGd+YO6w@mail.gmail.com
Whole thread Raw
In response to Re: pgAdmin4, how to customize sql panel font size  (Melvin Davidson <melvin6925@yahoo.com>)
List pgadmin-support
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 <melvin6925@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 <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.

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

pgadmin-support by date:

Previous
From: Ashesh Vashi
Date:
Subject: Re: pgAdmin4, mac keyboard sortcuts
Next
From: "Guillermo E. Villanueva"
Date:
Subject: python function