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

SketchWidget: s/redraw()/queue_redraw()/

Browse Source
This commit is contained in:
Josh Holtrop 2011-04-03 12:00:51 -04:00
parent f20726e571
commit f6cc39914b
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
SketchWidget.py
View File

@ -216,7 +216,7 @@ class SketchWidget:
if self.drawingLine is not None: if self.drawingLine is not None:
# cancel line currently being drawn # cancel line currently being drawn
self.drawingLine = None self.drawingLine = None
self.redraw() self.queue_redraw()
def button_release_event(self, widget, event, data = None): def button_release_event(self, widget, event, data = None):
if event.button == 2: if event.button == 2:
@ -229,11 +229,11 @@ class SketchWidget:
self.view_center = (self.view_center[0] - this_pt[0] + start_pt[0], self.view_center = (self.view_center[0] - this_pt[0] + start_pt[0],
self.view_center[1] - this_pt[1] + start_pt[1]) self.view_center[1] - this_pt[1] + start_pt[1])
self.panning_start = (event.x, self.size[1] - event.y) self.panning_start = (event.x, self.size[1] - event.y)
self.redraw() self.queue_redraw()
elif self.drawingLine is not None: elif self.drawingLine is not None:
this_pt = self.screenPtToPt((event.x, self.size[1] - event.y)) this_pt = self.screenPtToPt((event.x, self.size[1] - event.y))
self.drawingLine.setPt(1, this_pt) self.drawingLine.setPt(1, this_pt)
self.redraw() self.queue_redraw()
def scroll_event(self, widget, event, data = None): def scroll_event(self, widget, event, data = None):
if event.direction == gtk.gdk.SCROLL_UP: if event.direction == gtk.gdk.SCROLL_UP:
@ -244,7 +244,7 @@ class SketchWidget:
self.view_center = (zoom_pt[0] - off_x / self.zoom_factor, self.view_center = (zoom_pt[0] - off_x / self.zoom_factor,
zoom_pt[1] - off_y / self.zoom_factor) zoom_pt[1] - off_y / self.zoom_factor)
self.view_width /= self.zoom_factor self.view_width /= self.zoom_factor
self.redraw() self.queue_redraw()
elif event.direction == gtk.gdk.SCROLL_DOWN: elif event.direction == gtk.gdk.SCROLL_DOWN:
zoom_pt = self.screenPtToPt((event.x, zoom_pt = self.screenPtToPt((event.x,
self.size[1] - event.y)) self.size[1] - event.y))
@ -253,8 +253,8 @@ class SketchWidget:
self.view_center = (zoom_pt[0] - off_x * self.zoom_factor, self.view_center = (zoom_pt[0] - off_x * self.zoom_factor,
zoom_pt[1] - off_y * self.zoom_factor) zoom_pt[1] - off_y * self.zoom_factor)
self.view_width *= self.zoom_factor self.view_width *= self.zoom_factor
self.redraw() self.queue_redraw()
def redraw(self): def queue_redraw(self):
self.widget.queue_draw_area(0, 0, self.widget.queue_draw_area(0, 0,
int(self.size[0]), int(self.size[1])) int(self.size[0]), int(self.size[1]))