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