zoom by shift+key

gviz.py

@@ -47,13 +47,21 @@ class window(wx.Frame):
         else:
             event.Skip()
     
+
     def key(self, event):
         x=event.GetKeyCode()
-        #print x
+        if event.ShiftDown():
+            cx,cy=self.p.translate
+            if x==wx.WXK_UP:
+                self.p.zoom(cx,cy,1.2)
+            if x==wx.WXK_DOWN:
+                self.p.zoom(cx,cy,1/1.2)
+        else:
             if x==wx.WXK_UP:
                 self.p.layerup()
             if x==wx.WXK_DOWN:  
                 self.p.layerdown()
+        #print x
     
         #print p.lines.keys()
     def zoom(self, event):