On Wed, 12 Oct 2011 17:02:59 -0300, Fernando Hevia <fhevia@gmail.com> wrote:
> 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. > :) >
I don't see it working on Linux. What OS are you on?