598 |
# whether there is a selection at all doesn't change, when the |
# whether there is a selection at all doesn't change, when the |
599 |
# shape which is selected has changed (which means that layer or |
# shape which is selected has changed (which means that layer or |
600 |
# shapeid changes). |
# shapeid changes). |
|
print "MapCanvas.shape_selected:", layer, shape |
|
601 |
if ((shape is not None or self.last_selected_shape is not None) |
if ((shape is not None or self.last_selected_shape is not None) |
602 |
and (shape != self.last_selected_shape |
and (shape != self.last_selected_shape |
603 |
or layer != self.last_selected_layer)): |
or layer != self.last_selected_layer)): |
|
print "MapCanvas.shape_selected: redraw", |
|
604 |
self.full_redraw() |
self.full_redraw() |
605 |
else: |
|
606 |
print "MapCanvas.shape_selected: no redraw" |
# remember the selection so we can compare when it changes again. |
607 |
self.last_selected_layer = layer |
self.last_selected_layer = layer |
608 |
self.last_selected_shape = shape |
self.last_selected_shape = shape |
609 |
|
|