On Wed, Oct 12, 2011 at 18:02, Guillaume Lelarge <[email protected]>wrote:
> On Wed, 12 Oct 2011 17:02:59 -0300, Fernando Hevia <[email protected]> > 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.
