Re: pgAdmin4, how to customize sql panel font size

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(at)yahoo(dot)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(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
>
> --
> Sent via pgadmin-support mailing list (pgadmin-support(at)postgresql(dot)org)
> To make changes to your subscription:
> http://www.postgresql.org/mailpref/pgadmin-support
>
>
>
> --
> Sent via pgadmin-support mailing list (pgadmin-support(at)postgresql(dot)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