diff --git a/SketchWidget.py b/SketchWidget.py index 345b5d4..0c5c6f9 100644 --- a/SketchWidget.py +++ b/SketchWidget.py @@ -216,7 +216,7 @@ class SketchWidget: if self.drawingLine is not None: # cancel line currently being drawn self.drawingLine = None - self.redraw() + self.queue_redraw() def button_release_event(self, widget, event, data = None): 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[1] - this_pt[1] + start_pt[1]) self.panning_start = (event.x, self.size[1] - event.y) - self.redraw() + self.queue_redraw() elif self.drawingLine is not None: this_pt = self.screenPtToPt((event.x, self.size[1] - event.y)) self.drawingLine.setPt(1, this_pt) - self.redraw() + self.queue_redraw() def scroll_event(self, widget, event, data = None): if event.direction == gtk.gdk.SCROLL_UP: @@ -244,7 +244,7 @@ class SketchWidget: self.view_center = (zoom_pt[0] - off_x / self.zoom_factor, zoom_pt[1] - off_y / self.zoom_factor) self.view_width /= self.zoom_factor - self.redraw() + self.queue_redraw() elif event.direction == gtk.gdk.SCROLL_DOWN: zoom_pt = self.screenPtToPt((event.x, self.size[1] - event.y)) @@ -253,8 +253,8 @@ class SketchWidget: self.view_center = (zoom_pt[0] - off_x * self.zoom_factor, zoom_pt[1] - off_y * 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, int(self.size[0]), int(self.size[1]))