111 |
|
|
112 |
self.backgroundColor = wx.wxWHITE_BRUSH |
self.backgroundColor = wx.wxWHITE_BRUSH |
113 |
|
|
114 |
|
# Set to true if there ever is an error during redraw. There |
115 |
|
# should never be errors, but unfortunately bugs happen. |
116 |
|
self.error_on_redraw = 0 |
117 |
|
|
118 |
# subscribe the WX events we're interested in |
# subscribe the WX events we're interested in |
119 |
EVT_PAINT(self, self.OnPaint) |
EVT_PAINT(self, self.OnPaint) |
120 |
EVT_LEFT_DOWN(self, self.OnLeftDown) |
EVT_LEFT_DOWN(self, self.OnLeftDown) |
177 |
dc.EndDrawing() |
dc.EndDrawing() |
178 |
|
|
179 |
def OnIdle(self, event): |
def OnIdle(self, event): |
180 |
# render the screen if necessary |
"""Idle handler. Redraw the bitmap if necessary""" |
181 |
|
|
182 |
if self.bitmap != -1: |
if self.bitmap != -1: |
183 |
return |
return |
184 |
|
if self.error_on_redraw: |
185 |
|
return |
186 |
|
|
187 |
wxBeginBusyCursor() |
wxBeginBusyCursor() |
188 |
try: |
try: |
189 |
width, height = self.GetSizeTuple() |
try: |
190 |
|
self._do_redraw() |
191 |
|
except: |
192 |
|
self.error_on_redraw = True |
193 |
|
raise |
194 |
|
finally: |
195 |
|
wxEndBusyCursor() |
196 |
|
|
197 |
bitmap = wx.wxEmptyBitmap(width, height) |
def _do_redraw(self): |
198 |
dc = wx.wxMemoryDC() |
"""Called by OnIdle to do the actual redraw. |
199 |
dc.SelectObject(bitmap) |
""" |
200 |
dc.BeginDrawing() |
width, height = self.GetSizeTuple() |
201 |
|
|
202 |
dc.SetBackground(self.backgroundColor) |
bitmap = wx.wxEmptyBitmap(width, height) |
203 |
dc.Clear() |
dc = wx.wxMemoryDC() |
204 |
|
dc.SelectObject(bitmap) |
205 |
|
dc.BeginDrawing() |
206 |
|
|
207 |
selected_layer = self.selection.SelectedLayer() |
dc.SetBackground(self.backgroundColor) |
208 |
selected_shapes = self.selection.SelectedShapes() |
dc.Clear() |
209 |
|
|
210 |
# draw the map into the bitmap |
selected_layer = self.selection.SelectedLayer() |
211 |
renderer = ScreenRenderer(dc, self.scale, self.offset) |
selected_shapes = self.selection.SelectedShapes() |
212 |
|
|
213 |
# Pass the entire bitmap as update region to the renderer. |
# draw the map into the bitmap |
214 |
# We're redrawing the whole bitmap, after all. |
renderer = ScreenRenderer(dc, self.scale, self.offset) |
|
renderer.RenderMap(self.Map(), (0, 0, width, height), |
|
|
selected_layer, selected_shapes) |
|
215 |
|
|
216 |
dc.EndDrawing() |
# Pass the entire bitmap as update region to the renderer. |
217 |
dc.SelectObject(wx.wxNullBitmap) |
# We're redrawing the whole bitmap, after all. |
218 |
|
renderer.RenderMap(self.Map(), (0, 0, width, height), |
219 |
|
selected_layer, selected_shapes) |
220 |
|
|
221 |
self.bitmap = bitmap |
dc.EndDrawing() |
222 |
finally: |
dc.SelectObject(wx.wxNullBitmap) |
|
wxEndBusyCursor() |
|
|
pass |
|
223 |
|
|
224 |
|
self.bitmap = bitmap |
225 |
# This causes a paint event that then draws the bitmap |
# This causes a paint event that then draws the bitmap |
226 |
self.redraw() |
self.redraw() |
227 |
|
|
301 |
self.drag_dc.SetLogicalFunction(wxINVERT) |
self.drag_dc.SetLogicalFunction(wxINVERT) |
302 |
self.drag_dc.SetBrush(wxTRANSPARENT_BRUSH) |
self.drag_dc.SetBrush(wxTRANSPARENT_BRUSH) |
303 |
self.tool.Show(self.drag_dc) |
self.tool.Show(self.drag_dc) |
304 |
|
self.CaptureMouse() |
305 |
self.dragging = 1 |
self.dragging = 1 |
306 |
|
|
307 |
def OnLeftUp(self, event): |
def OnLeftUp(self, event): |