On 19 October 2010 21:24, Thom Brown <thom@linux.com> wrote:
> On 19 October 2010 21:08, Guillaume Lelarge <guillaume@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