140 |
class ZoomOutTool(RectTool): |
class ZoomOutTool(RectTool): |
141 |
|
|
142 |
"""The Zoom-Out Tool""" |
"""The Zoom-Out Tool""" |
143 |
|
|
144 |
def Name(self): |
def Name(self): |
145 |
return "ZoomOutTool" |
return "ZoomOutTool" |
146 |
|
|
151 |
cx, cy = self.current |
cx, cy = self.current |
152 |
if sx == cx and sy == cy: |
if sx == cx and sy == cy: |
153 |
# Just a mouse click. Simply zoom out by a factor of two |
# Just a mouse click. Simply zoom out by a factor of two |
154 |
self.view.ZoomFactor(0.5, center = (cy, cy)) |
self.view.ZoomFactor(0.5, center = (cx, cy)) |
155 |
else: |
else: |
156 |
# A drag. Zoom out to the rectangle |
# A drag. Zoom out to the rectangle |
157 |
self.view.ZoomOutToRect((min(sx, cx), min(sy, cy), |
self.view.ZoomOutToRect((min(sx, cx), min(sy, cy), |
286 |
self.interactor = interactor |
self.interactor = interactor |
287 |
self.interactor.Subscribe(SELECTED_SHAPE, self.shape_selected) |
self.interactor.Subscribe(SELECTED_SHAPE, self.shape_selected) |
288 |
|
|
289 |
|
# keep track of which layers/shapes are selected to make sure we |
290 |
|
# only redraw when necessary |
291 |
|
self.last_selected_layer = None |
292 |
|
self.last_selected_shape = None |
293 |
|
|
294 |
# subscribe the WX events we're interested in |
# subscribe the WX events we're interested in |
295 |
EVT_PAINT(self, self.OnPaint) |
EVT_PAINT(self, self.OnPaint) |
296 |
EVT_LEFT_DOWN(self, self.OnLeftDown) |
EVT_LEFT_DOWN(self, self.OnLeftDown) |
587 |
self.full_redraw() |
self.full_redraw() |
588 |
|
|
589 |
def shape_selected(self, layer, shape): |
def shape_selected(self, layer, shape): |
590 |
self.full_redraw() |
"""Redraw the map. |
591 |
|
|
592 |
|
Receiver for the SELECTED_SHAPE messages. Try to redraw only |
593 |
|
when necessary. |
594 |
|
""" |
595 |
|
# A redraw is necessary when the display has to change, which |
596 |
|
# means that either the status changes from having no selection |
597 |
|
# to having a selection shape or vice versa, or when the fact |
598 |
|
# whether there is a selection at all doesn't change, when the |
599 |
|
# shape which is selected has changed (which means that layer or |
600 |
|
# shapeid changes). |
601 |
|
if ((shape is not None or self.last_selected_shape is not None) |
602 |
|
and (shape != self.last_selected_shape |
603 |
|
or layer != self.last_selected_layer)): |
604 |
|
self.full_redraw() |
605 |
|
|
606 |
|
# remember the selection so we can compare when it changes again. |
607 |
|
self.last_selected_layer = layer |
608 |
|
self.last_selected_shape = shape |
609 |
|
|
610 |
def unprojected_rect_around_point(self, x, y): |
def unprojected_rect_around_point(self, x, y): |
611 |
"""return a rect a few pixels around (x, y) in unprojected corrdinates |
"""return a rect a few pixels around (x, y) in unprojected corrdinates |