pgAdmin v1.12.2: SQL output grid font base - Mailing list pgadmin-support

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? 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 ;)

Test case...
Preferences font: Tahoma, 8
Query Tool font: Courier New, 9
Result: http://img23.imageshack.us/img23/7990/pgadmin1122font.png

Thanks,
-- Rainer