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? -- Dave Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterprisedb.com The Enterprise PostgreSQL Company -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support
