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@postgresql.org
[mailto:pgadmin-support-owner@postgresql.org] On Behalf Of Guillaume Lelarge
Sent: 5. jaanuar 2011. a. 19:16
To: Rainer Kuhi
Cc: pgadmin-support@postgresql.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.
--
Guillaumehttp://www.postgresql.frhttp://dalibo.com
--
Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgadmin-support