Seems more consistent with Shift-drag.
... | ... |
@@ -1615,9 +1615,8 @@ class DotWidget(gtk.DrawingArea): |
1615 | 1615 |
width = abs(x1 - x2) |
1616 | 1616 |
height = abs(y1 - y2) |
1617 | 1617 |
if width == 0 and height == 0: |
1618 |
- self.zoom_ratio /= 2 |
|
1618 |
+ self.zoom_ratio *= self.ZOOM_INCREMENT |
|
1619 | 1619 |
else: |
1620 |
- # TODO: handle case of width or hight == 0 |
|
1621 | 1620 |
self.zoom_ratio = min( |
1622 | 1621 |
float(rect.width)/float(width), |
1623 | 1622 |
float(rect.height)/float(height) |