| From: | Guillaume Lelarge <guillaume(at)lelarge(dot)info> |
|---|---|
| To: | Rainer Kuhi <rainer(dot)kuhi(at)gmail(dot)com> |
| Cc: | pgadmin-support(at)postgresql(dot)org |
| Subject: | Re: pgAdmin v1.12.2: SQL output grid font base |
| Date: | 2011-01-05 17:16:08 |
| Message-ID: | 4D24A758.2070203@lelarge.info |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgadmin-support |
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.
--
Guillaume
http://www.postgresql.fr
http://dalibo.com
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Benjie Buluran | 2011-01-06 06:01:56 | Inserting data from one database to another using stored functions |
| Previous Message | Rainer Kuhi | 2011-01-05 12:45:37 | pgAdmin v1.12.2: SQL output grid font base |