1617         self.ForceRefresh()

  1617         self.ForceRefresh()

  1618     

  1618     

  1619     def SetCursorTick(self, cursor_tick):

  1619     def SetCursorTick(self, cursor_tick):

  1620         self.CursorTick = cursor_tick

  1620         self.CursorTick = cursor_tick

  1621         self.Fixed = True

  1621         self.Fixed = True

  1623     

  1623     

  1624     def ResetCursorTick(self):

  1624     def ResetCursorTick(self):

  1625         self.CursorTick = None

  1625         self.CursorTick = None

  1629         for panel in self.GraphicPanels:

  1629         for panel in self.GraphicPanels:

  1630             if isinstance(panel, DebugVariableGraphic):

  1630             if isinstance(panel, DebugVariableGraphic):

  1631                 panel.SetCursorTick(self.CursorTick)

  1631                 panel.SetCursorTick(self.CursorTick)

  1632         self.ForceRefresh()

  1632         self.ForceRefresh()

  1633     

  1633     

  1975     

  1975     

  1976     def OnCurrentButton(self, event):

  1976     def OnCurrentButton(self, event):

  1977         if len(self.Ticks) > 0:

  1977         if len(self.Ticks) > 0:

  1978             self.StartTick = max(self.Ticks[0], self.Ticks[-1] - self.CurrentRange)

  1978             self.StartTick = max(self.Ticks[0], self.Ticks[-1] - self.CurrentRange)

  1979             self.Fixed = False

  1979             self.Fixed = False

  1981             self.ResetCursorTick()

  1980             self.ResetCursorTick()

  1982         event.Skip()

  1981         event.Skip()

  1983     

  1982     

  1984     def CopyDataToClipboard(self, variables):

  1983     def CopyDataToClipboard(self, variables):

  1985         text = "tick;%s;\n" % ";".join([item.GetVariable() for item, data in variables])

  1984         text = "tick;%s;\n" % ";".join([item.GetVariable() for item, data in variables])

  2212             self.Ticks = numpy.array([])

  2211             self.Ticks = numpy.array([])

  2213             self.StartTick = 0

  2212             self.StartTick = 0

  2214             self.Fixed = False

  2213             self.Fixed = False

  2215             for panel in self.GraphicPanels:

  2214             for panel in self.GraphicPanels:

  2216                 panel.ResetData()

  2215                 panel.ResetData()

  2217 

  2217 

  2218     def RefreshGraphicsWindowScrollbars(self):

  2218     def RefreshGraphicsWindowScrollbars(self):

  2219         xstart, ystart = self.GraphicsWindow.GetViewStart()

  2219         xstart, ystart = self.GraphicsWindow.GetViewStart()

  2220         window_size = self.GraphicsWindow.GetClientSize()

  2220         window_size = self.GraphicsWindow.GetClientSize()

  2221         vwidth, vheight = self.GraphicsSizer.GetMinSize()

  2221         vwidth, vheight = self.GraphicsSizer.GetMinSize()