On 12 October 2010 09:16, Dave Page <dpage@pgadmin.org> wrote:
> On Mon, Oct 11, 2010 at 10:37 PM, Guillaume Lelarge
> <guillaume@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