Re: Increasing size of results grid

Le 12/10/2010 10:22, Thom Brown a écrit :
> On 12 October 2010 09:16, Dave Page <dpage(at)pgadmin(dot)org> wrote:
>> On Mon, Oct 11, 2010 at 10:37 PM, Guillaume Lelarge
>> <guillaume(at)lelarge(dot)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.
>

Turns out to be pretty simple. See the attached patch. It "only" handles
Ctrl+MouseWheel. The other part shouldn't be hard to do.

--
Guillaume
http://www.postgresql.fr
http://dalibo.com