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 <guilla...@lelarge.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? > >
