On 19 October 2010 21:24, Thom Brown <[email protected]> wrote: > On 19 October 2010 21:08, Guillaume Lelarge <[email protected]> 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 ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support
