Le 06/01/2011 15:05, Rainer Kuhi a écrit : > I could live with Courier New as the Editor and Output grid font, > but I really need to see underscore symbols without dragging the cells > taller. > http://img23.imageshack.us/i/pgadmin1122font.png/ (notice missing > underscores around "i") > > and using Tahoma for coding is not so funny ;) > > or what would you recommend? > > Thanks, > -- Rainer > > -----Original Message----- > From: pgadmin-support-ow...@postgresql.org > [mailto:pgadmin-support-ow...@postgresql.org] On Behalf Of Guillaume Lelarge > Sent: 5. jaanuar 2011. a. 19:16 > To: Rainer Kuhi > Cc: pgadmin-support@postgresql.org > Subject: Re: [pgadmin-support] pgAdmin v1.12.2: SQL output grid font base > > 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. >
I actually have no idea which font would be usable for both the SQL editor and the results grid. We could have another option to set this widget's font. -- 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
