Re: pgAdmin v1.12.2: SQL output grid font base - Mailing list 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.


-- 
Guillaumehttp://www.postgresql.frhttp://dalibo.com