Le 19/10/2010 12:51, Guillaume Lelarge a écrit : > Le 19/10/2010 20:56, Dave Page a écrit : >> On Tue, Oct 19, 2010 at 7:53 PM, Josh Berkus <j...@agliodbs.com> wrote: >>> >>>> Josh - which font setting did you expect to work here? >>> >>> I'd prefer the SQL query window font setting, unless we had a specific >>> "grid" font setting. I don't want to increase the size of all my object >>> labels in order to display a larger query result. >> >> OK, that seems reasonable. So this setting would affect both the grid >> and sqlbox on the query tool. >> > > We can probably do both: > > * use the query font for the grid on 1.12
This one is commited. > * add a new setting for grid font on 1.13 No comments, so probably not such a good idea. > I completely agree with Josh when he says we don't want to increase the > size of all labels in order to display a larger query result. > >> Guillaume, do we need to manually fix the other grids (which should >> use the label font)? >> > > On the edit grid, no, because it uses the same component. I'm less sure > with the debugger tool, and I have no way to check this easily. > > -- 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
