Re: How to modify font size of displayed view? - Mailing list pgadmin-hackers

Yes, one does need the shift key. Nothing happens with a plain cmd+, but cmdShift+ does the trick.

On other apps (Terminal for example), the shift is not necessary. (I guess the Terminal developers thought that no-one would use cmd= for anything.

To make the font size smaller, cmd- works fine - does not need a shift. (The upper case is an underscore..)

Thanks much - Bob G

Hi,

You can adjust the zoom with Cmd+ (iirc - it's Ctrl on other platforms). You may need shift as well, if + is a shift key.

There is a list of shortcut keys in the docs.

Thanks!

-- 
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake

EnterpriseDB UK:http://www.enterprisedb.com
The Enterprise PostgreSQL Company

On 14 Jul 2017, at 19:38, Bob Gustafson <bobgus@rcn.com> wrote:

I have a MacAir 11" with uptodate OS and pgadmin4 1.5

According to the docs, there might be an overrides.css file where I could make those tweeks. Haven't found it yet.

It would be even nicer if the display would respond to the Command + and Command - keystrokes for changing the size of characters.

---------

A very helpful piece of software though.

Thanks much.

Bob G