92 |
self.poffset = self.offset |
self.poffset = self.offset |
93 |
self.but = ev.getModifiers() |
self.but = ev.getModifiers() |
94 |
elif ev.getID() == ev.MOUSE_DRAGGED: |
elif ev.getID() == ev.MOUSE_DRAGGED: |
95 |
if self.but == MouseEvent.BUTTON3_MASK: |
if self.but == ev.BUTTON3_MASK: |
96 |
self.scale = self.pscale * math.exp( |
self.scale = self.pscale * math.exp( |
97 |
(self.press[1] - ev.getY())/150.0) |
(self.press[1] - ev.getY())/150.0) |
98 |
self.sap() |
self.sap() |
99 |
replaceNewScene(self.currentvs) |
replaceNewScene(self.currentvs) |
100 |
AbstractUpdateManager.setNoAnimation() |
AbstractUpdateManager.setNoAnimation() |
101 |
AbstractUpdateManager.chg() |
AbstractUpdateManager.chg() |
102 |
elif self.but == MouseEvent.BUTTON1_MASK: |
elif self.but == ev.BUTTON1_MASK: |
103 |
self.offset = ( |
self.offset = ( |
104 |
self.poffset[0] - (ev.getX() - self.press[0]), |
self.poffset[0] - (ev.getX() - self.press[0]), |
105 |
self.poffset[1] - (ev.getY() - self.press[1]), |
self.poffset[1] - (ev.getY() - self.press[1]), |