On Wed, Oct 12, 2011 at 18:02, Guillaume Lelarge <guillaume(at)lelarge(dot)info>wrote:
> On Wed, 12 Oct 2011 17:02:59 -0300, Fernando Hevia <fhevia(at)gmail(dot)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?
>
>
Windows 7 SP1.