On 9/10/11 3:43 PM, Joshua Berkus wrote: > >> Or simply use Ctrl-mousewheel to increase or decrease font size >> temporary. Still 1.14 though. > > Pk, will try the 1.14.rc1.
Ok, this is still not usable. While the text in the grid gets bigger, the row height and column size is still set for 10-point type, making the grid impossible to read. I guess I'm still doing my demos with psql ... -- Josh Berkus PostgreSQL Experts Inc. http://pgexperts.com -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support