Bob, I was going to suggest you get rid of that weird mouse of yours but it
wont be necessary as Ctrl-+ and Ctrl-- already work as suggested. At least
in v1.14.0 it does.
:)
On Wed, Oct 12, 2011 at 16:30, Guillaume Lelarge <guillaume(at)lelarge(dot)info>wrote:
>
> Sure. If you know a better UI, we can probably make that happen. Now
> that I think of it, Ctrl-+ and Ctrl-- would be great candidate. Would
> that be better for you?
>
>