equal
deleted
inserted
replaced
356 if result and result[1] in [EAST, WEST]: |
356 if result and result[1] in [EAST, WEST]: |
357 element.SetSelectedSegment(result[0]) |
357 element.SetSelectedSegment(result[0]) |
358 else: |
358 else: |
359 element.OnLeftUp(event, dc, self.Scaling) |
359 element.OnLeftUp(event, dc, self.Scaling) |
360 self.SelectedElement.Refresh() |
360 self.SelectedElement.Refresh() |
361 wx.CallAfter(self.SetCursor, wx.NullCursor) |
361 wx.CallAfter(self.SetCurrentCursor, 0) |
362 event.Skip() |
362 event.Skip() |
363 |
363 |
364 def OnViewerRightUp(self, event): |
364 def OnViewerRightUp(self, event): |
365 if self.GetDrawingMode() == FREEDRAWING_MODE: |
365 if self.GetDrawingMode() == FREEDRAWING_MODE: |
366 Viewer.OnViewerRightUp(self, event) |
366 Viewer.OnViewerRightUp(self, event) |
376 self.SelectedElement.SetSelectedSegment(0) |
376 self.SelectedElement.SetSelectedSegment(0) |
377 else: |
377 else: |
378 self.SelectedElement.SetSelected(True) |
378 self.SelectedElement.SetSelected(True) |
379 self.SelectedElement.OnRightUp(event, dc, self.Scaling) |
379 self.SelectedElement.OnRightUp(event, dc, self.Scaling) |
380 self.SelectedElement.Refresh() |
380 self.SelectedElement.Refresh() |
381 wx.CallAfter(self.SetCursor, wx.NullCursor) |
381 wx.CallAfter(self.SetCurrentCursor, 0) |
382 event.Skip() |
382 event.Skip() |
383 |
383 |
384 def OnViewerLeftDClick(self, event): |
384 def OnViewerLeftDClick(self, event): |
385 if self.GetDrawingMode() == FREEDRAWING_MODE: |
385 if self.GetDrawingMode() == FREEDRAWING_MODE: |
386 Viewer.OnViewerLeftDClick(self, event) |
386 Viewer.OnViewerLeftDClick(self, event) |