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