The GUI mouse key zoom worked in version 7.18.2 (left zoom out, right zoom in), but in version 7.18.4 both buttons zoom in.
Updated "Group" for this bug.
Thanks Tom. This was an unintentional change probably caused by fixing a mouse binding bug that was occuring on Linux and BSD platforms. What platform did you get both buttons zooming in on?
My system is Ubuntu 10.10 Linux, 64-bit (amd64).
Tom, a mistake in my original reply -- I misread that you're using 7.18.4. The bug you mention should already be fixed in the 7.20.0 release. There was a mouse binding fix in 7.16.8 for Mac platforms that had unintended effects on Linux and BSD platforms. The fix I mentioned in my reply is actually probably a fix for this very same bug.