320 |
def do_redraw(self): |
def do_redraw(self): |
321 |
# This should only be called if we have a non-empty map. |
# This should only be called if we have a non-empty map. |
322 |
|
|
323 |
# get the update region and reset it. |
# get the update region and reset it. We're not actually using |
324 |
|
# it anymore, though. |
325 |
update_box = self.update_region.GetBox() |
update_box = self.update_region.GetBox() |
326 |
self.update_region = wx.wxRegion() |
self.update_region = wx.wxRegion() |
327 |
|
|
351 |
|
|
352 |
# draw the map into the bitmap |
# draw the map into the bitmap |
353 |
renderer = ScreenRenderer(dc, self.scale, self.offset) |
renderer = ScreenRenderer(dc, self.scale, self.offset) |
354 |
renderer.RenderMap(self.map, update_box, |
|
355 |
|
# Pass the entire bitmap as update_region to the renderer. |
356 |
|
# We're redrawing the whole bitmap, after all. |
357 |
|
renderer.RenderMap(self.map, (0, 0, width, height), |
358 |
selected_layer, selected_shape) |
selected_layer, selected_shape) |
359 |
|
|
360 |
dc.EndDrawing() |
dc.EndDrawing() |