...
|
...
|
@@ -1610,11 +1610,16 @@ class DotWidget(gtk.DrawingArea):
|
1610
|
1610
|
self.y += self.POS_INCREMENT/self.zoom_ratio
|
1611
|
1611
|
self.queue_draw()
|
1612
|
1612
|
return True
|
1613
|
|
- if event.keyval == gtk.keysyms.Page_Up:
|
|
1613
|
+ if event.keyval in (gtk.keysyms.Page_Up,
|
|
1614
|
+ gtk.keysyms.plus,
|
|
1615
|
+ gtk.keysyms.equal,
|
|
1616
|
+ gtk.keysyms.KP_Add):
|
1614
|
1617
|
self.zoom_image(self.zoom_ratio * self.ZOOM_INCREMENT)
|
1615
|
1618
|
self.queue_draw()
|
1616
|
1619
|
return True
|
1617
|
|
- if event.keyval == gtk.keysyms.Page_Down:
|
|
1620
|
+ if event.keyval in (gtk.keysyms.Page_Down,
|
|
1621
|
+ gtk.keysyms.minus,
|
|
1622
|
+ gtk.keysyms.KP_Subtract):
|
1618
|
1623
|
self.zoom_image(self.zoom_ratio / self.ZOOM_INCREMENT)
|
1619
|
1624
|
self.queue_draw()
|
1620
|
1625
|
return True
|