On 19 October 2010 21:24, Thom Brown <t...@linux.com> wrote: > On 19 October 2010 21:08, Guillaume Lelarge <guilla...@lelarge.info> wrote: >> You're right. Done in this new attached patch. > > Yep, that's excellent :) One problem is that if you zoom in and > scroll down to a high-numbered row, it's cropped and you can't see the > whole number, so that would have to adjust too. Might be unreasonable > for me to ask for column widths to also increase proportionately, but > it's better than before with your latest patch.
Oh, something else I've noticed. The zoom in the SQL Editor is the opposite of the grid. CTRL+scrollwheel up zooms out rather than in. -- Thom Brown Twitter: @darkixion IRC (freenode): dark_ixion Registered Linux user: #516935 -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support
