Re: pgAdmin v1.12.2: SQL output grid font base

Le 06/01/2011 15:05, Rainer Kuhi a écrit :
> I could live with Courier New as the Editor and Output grid font,
> but I really need to see underscore symbols without dragging the cells
> taller.
> http://img23.imageshack.us/i/pgadmin1122font.png/ (notice missing
> underscores around "i")
>
> and using Tahoma for coding is not so funny ;)
>
> or what would you recommend?
>
> Thanks,
> -- Rainer
>
> -----Original Message-----
> From: pgadmin-support-owner(at)postgresql(dot)org
> [mailto:pgadmin-support-owner(at)postgresql(dot)org] On Behalf Of Guillaume Lelarge
> Sent: 5. jaanuar 2011. a. 19:16
> To: Rainer Kuhi
> Cc: pgadmin-support(at)postgresql(dot)org
> Subject: Re: [pgadmin-support] pgAdmin v1.12.2: SQL output grid font base
>
> Le 05/01/2011 13:45, Rainer Kuhi a écrit :
>> Hi,
>>
>> * Platform you're running on: win xp 32bit
>> * Language: en
>> * Distribution you used: binary
>> * Version you tested: 1.12.2
>>
>> In 1.10 and 1.12.1 the font of SQL query output contents depends on the
>> Preferences font (set from Options -> Preferences -> Font), but in 1.12.1
> it
>> is now tied to Query Tool font (set from Options -> Query Tool -> Font) .
>>
>> Is it intentional or a bug?
>
> Intentional. We didn't actually set a font for the query output. We do now.
>
>> And maybe it makes sense to give user an option
>> to change the Output grid content font separately from Preference and
> Query
>> Tool fonts. But, my preference is to choose rather Preferences font
> instead
>> of Query Tool editor font ;)
>>
>
> I don't see why it would make more sense to have this other option.
>

I actually have no idea which font would be usable for both the SQL
editor and the results grid. We could have another option to set this
widget's font.

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