--- a/controls/DebugVariablePanel/DebugVariablePanel.py Wed May 29 22:27:20 2013 +0200
+++ b/controls/DebugVariablePanel/DebugVariablePanel.py Wed May 29 22:45:48 2013 +0200
@@ -1004,9 +1004,9 @@
wx.WXK_DOWN: 10}
def OnKeyDown(self, event):
if self.CursorTick is not None:
- self.ParentWindow.MoveCursorTick(
- self.KEY_CURSOR_INCREMENT.get(
- event.GetKeyCode(), 0))
+ move = self.KEY_CURSOR_INCREMENT.get(event.GetKeyCode(), None)
+ if move is not None:
+ self.ParentWindow.MoveCursorTick(move)
event.Skip()
def HandleCursorMove(self, event):
@@ -2092,6 +2092,7 @@
panel_size.width == panel_size.height):
panel.SetCanvasSize(size.width, size.width)
self.RefreshGraphicsWindowScrollbars()
+ self.GraphicsSizer.Layout()
event.Skip()
def OnGraphicsWindowMouseWheel(self, event):