On 12 October 2010 09:16, Dave Page <dp...@pgadmin.org> wrote: > On Mon, Oct 11, 2010 at 10:37 PM, Guillaume Lelarge > <guilla...@lelarge.info> wrote: >> Hi, >> >> Le 11/10/2010 20:54, Josh Berkus a écrit : >>> [...] >>> I'd like to use pgadmin3 for more demos. But I find I can't because the >>> font size of the results grid is fixed as being fairly small, and >>> there's no way to make it larger. >>> >> >> There is a way. Go in the Options window, select the Preferences tab and >> change the Font. It will make, among other components the result grid >> bigger. > > Thats what I thought, but I tested it on Mac and found it didn't work. > wxMac bug?
Or, if you're a bit awesome, implement the ability to use CTRL + scrollwheel and CTRL + (+/-) to zoom in/out. -- Thom Brown Twitter: @darkixion IRC (freenode): dark_ixion Registered Linux user: #516935 -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support
