--- a/controls/DebugVariablePanel.py Thu May 02 09:39:38 2013 +0200
+++ b/controls/DebugVariablePanel.py Thu May 02 09:41:04 2013 +0200
@@ -1619,13 +1619,13 @@
def SetCursorTick(self, cursor_tick):
self.CursorTick = cursor_tick
+ self.UpdateCursorTick() def ResetCursorTick(self):
+ self.UpdateCursorTick() - def ResetCursorTick(self):
+ def UpdateCursorTick(self): for panel in self.GraphicPanels:
if isinstance(panel, DebugVariableGraphic):
panel.SetCursorTick(self.CursorTick)
@@ -1977,7 +1977,6 @@
self.StartTick = max(self.Ticks[0], self.Ticks[-1] - self.CurrentRange)
@@ -2214,6 +2213,7 @@
for panel in self.GraphicPanels:
def RefreshGraphicsWindowScrollbars(self):
xstart, ystart = self.GraphicsWindow.GetViewStart()