On Wed, Oct 12, 2011 at 18:02, Guillaume Lelarge <guilla...@lelarge.info>wrote:
> On Wed, 12 Oct 2011 17:02:59 -0300, Fernando Hevia <fhe...@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? > > Windows 7 SP1.