2478 self.RefreshScrollBars() |
2478 self.RefreshScrollBars() |
2479 wx.CallAfter(self.SetCurrentCursor, 0) |
2479 wx.CallAfter(self.SetCurrentCursor, 0) |
2480 self.RefreshRect(self.GetScrolledRect(rect), False) |
2480 self.RefreshRect(self.GetScrolledRect(rect), False) |
2481 elif not self.Debug and keycode == wx.WXK_RETURN and self.SelectedElement is not None: |
2481 elif not self.Debug and keycode == wx.WXK_RETURN and self.SelectedElement is not None: |
2482 self.SelectedElement.OnLeftDClick(event, self.GetLogicalDC(), self.Scaling) |
2482 self.SelectedElement.OnLeftDClick(event, self.GetLogicalDC(), self.Scaling) |
2483 elif self.ARROW_KEY_MOVE.has_key(keycode): |
2483 elif keycode in self.ARROW_KEY_MOVE: |
2484 move = self.ARROW_KEY_MOVE[keycode] |
2484 move = self.ARROW_KEY_MOVE[keycode] |
2485 if event.ControlDown() and event.ShiftDown(): |
2485 if event.ControlDown() and event.ShiftDown(): |
2486 self.Scroll({-1: 0, 0: xpos, 1: xmax}[move[0]], |
2486 self.Scroll({-1: 0, 0: xpos, 1: xmax}[move[0]], |
2487 {-1: 0, 0: ypos, 1: ymax}[move[1]]) |
2487 {-1: 0, 0: ypos, 1: ymax}[move[1]]) |
2488 self.RefreshVisibleElements() |
2488 self.RefreshVisibleElements() |