Le 12/10/2010 10:16, Dave Page a écrit :
> 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?
>
I think it is more a wxGTK/wxWin bug which changes the font of the cell
when you use the function to change the font of the labels.
Can someone on Mac tries this patch? I cannot on mine because I'm
actually not able to built a good executable (good meaning
which-doesn't-crash).
--
Guillaume
http://www.postgresql.fr
http://dalibo.com