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 -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support
