josh/jpcad
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

a very non-user-friendly zoom

Browse Source
This commit is contained in:
Josh Holtrop 2011-04-02 00:20:29 -04:00
parent e1011b83ba
commit 21d969b5cb
1 changed files with 13 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
SketchWidget.py
View File

@ -213,11 +213,20 @@ class SketchWidget:
self.view_center = (self.view_center[0] - this_pt[0] + start_pt[0],
self.view_center[1] - this_pt[1] + start_pt[1])
self.panning_start = (event.x, self.size[1] - event.y)
self.widget.queue_draw_area(0, 0,
int(self.size[0]), int(self.size[1]))
self.redraw()
def scroll_event(self, widget, event, data = None):
if event.direction == gtk.gdk.SCROLL_UP:
print 'scroll up at (%d, %d)' % (event.x, event.y)
self.view_center = self.screenPtToPt((event.x,
self.size[1] - event.y))
self.view_width /= 1.2
self.redraw()
elif event.direction == gtk.gdk.SCROLL_DOWN:
print 'scroll down at (%d, %d)' % (event.x, event.y)
self.view_center = self.screenPtToPt((event.x,
self.size[1] - event.y))
self.view_width *= 1.2
self.redraw()
def redraw(self):
self.widget.queue_draw_area(0, 0,
int(self.size[0]), int(self.size[1]))