On Mon, Oct 18, 2010 at 10:59 PM, Guillaume Lelarge
<guillaume@lelarge.info> wrote:
> 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?
It picks up the main UI font, rather than the Query Tool font (which
is used by ctlSQLBox). I'm not sure that's the appropriate behaviour.
It also forces it to bold, because that's how the column/row headers
are shown.
We'd also need to ensure it also affects the edit grid, and other
grids we may be using such as those on the debugger.
> I cannot on mine because I'm
> actually not able to built a good executable (good meaning
> which-doesn't-crash).
Oh? Not the fault of one of my recent commits I hope?
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company