equal
deleted
inserted
replaced
1002 wx.WXK_RIGHT: 1, |
1002 wx.WXK_RIGHT: 1, |
1003 wx.WXK_UP: -10, |
1003 wx.WXK_UP: -10, |
1004 wx.WXK_DOWN: 10} |
1004 wx.WXK_DOWN: 10} |
1005 def OnKeyDown(self, event): |
1005 def OnKeyDown(self, event): |
1006 if self.CursorTick is not None: |
1006 if self.CursorTick is not None: |
1007 self.ParentWindow.MoveCursorTick( |
1007 move = self.KEY_CURSOR_INCREMENT.get(event.GetKeyCode(), None) |
1008 self.KEY_CURSOR_INCREMENT.get( |
1008 if move is not None: |
1009 event.GetKeyCode(), 0)) |
1009 self.ParentWindow.MoveCursorTick(move) |
1010 event.Skip() |
1010 event.Skip() |
1011 |
1011 |
1012 def HandleCursorMove(self, event): |
1012 def HandleCursorMove(self, event): |
1013 start_tick, end_tick = self.ParentWindow.GetRange() |
1013 start_tick, end_tick = self.ParentWindow.GetRange() |
1014 cursor_tick = None |
1014 cursor_tick = None |
2090 if (isinstance(panel, DebugVariableGraphic) and |
2090 if (isinstance(panel, DebugVariableGraphic) and |
2091 panel.GraphType == GRAPH_ORTHOGONAL and |
2091 panel.GraphType == GRAPH_ORTHOGONAL and |
2092 panel_size.width == panel_size.height): |
2092 panel_size.width == panel_size.height): |
2093 panel.SetCanvasSize(size.width, size.width) |
2093 panel.SetCanvasSize(size.width, size.width) |
2094 self.RefreshGraphicsWindowScrollbars() |
2094 self.RefreshGraphicsWindowScrollbars() |
|
2095 self.GraphicsSizer.Layout() |
2095 event.Skip() |
2096 event.Skip() |
2096 |
2097 |
2097 def OnGraphicsWindowMouseWheel(self, event): |
2098 def OnGraphicsWindowMouseWheel(self, event): |
2098 if self.VetoScrollEvent: |
2099 if self.VetoScrollEvent: |
2099 self.VetoScrollEvent = False |
2100 self.VetoScrollEvent = False |