688                     self.SetHighlight(HIGHLIGHT_NONE)

   688                     self.SetHighlight(HIGHLIGHT_NONE)

   689                     self.ParentWindow.HighlightPreviousViewer(self)

   689                     self.ParentWindow.HighlightPreviousViewer(self)

   690             else:

   690             else:

   691                 self.SetHighlight(HIGHLIGHT_AFTER)

   691                 self.SetHighlight(HIGHLIGHT_AFTER)

   692         

   692         

   693         def OnResize(self, event):

   696         def OnResize(self, event):

   694             wx.CallAfter(self.RefreshButtonsState, True)

   697             wx.CallAfter(self.RefreshButtonsState, True)

   695             event.Skip()

   698             event.Skip()

   696         

   699         

   697         def ForceValue(self, item):

   700         def ForceValue(self, item):

   718             self.Bind(wx.EVT_LEFT_DOWN, self.OnLeftDown)

   721             self.Bind(wx.EVT_LEFT_DOWN, self.OnLeftDown)

   719             self.Bind(wx.EVT_LEFT_UP, self.OnLeftUp)

   722             self.Bind(wx.EVT_LEFT_UP, self.OnLeftUp)

   720             self.Bind(wx.EVT_ENTER_WINDOW, self.OnEnter)

   723             self.Bind(wx.EVT_ENTER_WINDOW, self.OnEnter)

   721             self.Bind(wx.EVT_LEAVE_WINDOW, self.OnLeave)

   724             self.Bind(wx.EVT_LEAVE_WINDOW, self.OnLeave)

   722             self.Bind(wx.EVT_SIZE, self.OnResize)

   725             self.Bind(wx.EVT_SIZE, self.OnResize)

   723             self.Bind(wx.EVT_PAINT, self.OnPaint)

   727             self.Bind(wx.EVT_PAINT, self.OnPaint)

   724             

   728             

   725             self.SetMinSize(wx.Size(0, 25))

   729             self.SetMinSize(wx.Size(0, 25))

   726             

   730             

   727             self.Buttons.append(

   731             self.Buttons.append(

   806             

   810             

   807             FigureCanvas.__init__(self, parent, -1, self.Figure)

   811             FigureCanvas.__init__(self, parent, -1, self.Figure)

   808             self.SetBackgroundColour(wx.WHITE)

   812             self.SetBackgroundColour(wx.WHITE)

   809             self.Bind(wx.EVT_ENTER_WINDOW, self.OnEnter)

   813             self.Bind(wx.EVT_ENTER_WINDOW, self.OnEnter)

   810             self.Bind(wx.EVT_LEAVE_WINDOW, self.OnLeave)

   814             self.Bind(wx.EVT_LEAVE_WINDOW, self.OnLeave)

   811             self.Bind(wx.EVT_SIZE, self.OnResize)

   816             self.Bind(wx.EVT_SIZE, self.OnResize)

   812             

   817             

   813             self.SetMinSize(wx.Size(200, 200))

   818             self.SetMinSize(wx.Size(200, 200))

   814             self.SetDropTarget(DebugVariableDropTarget(self.ParentWindow, self))

   819             self.SetDropTarget(DebugVariableDropTarget(self.ParentWindow, self))

   815             self.mpl_connect('button_press_event', self.OnCanvasButtonPressed)

   820             self.mpl_connect('button_press_event', self.OnCanvasButtonPressed)

  1500             self.TickSizer.AddWindow(self.TickTimeLabel)

  1505             self.TickSizer.AddWindow(self.TickTimeLabel)

  1501             

  1506             

  1502             self.GraphicsWindow = wx.ScrolledWindow(self, style=wx.HSCROLL|wx.VSCROLL)

  1507             self.GraphicsWindow = wx.ScrolledWindow(self, style=wx.HSCROLL|wx.VSCROLL)

  1503             self.GraphicsWindow.SetBackgroundColour(wx.WHITE)

  1508             self.GraphicsWindow.SetBackgroundColour(wx.WHITE)

  1504             self.GraphicsWindow.SetDropTarget(DebugVariableDropTarget(self))

  1509             self.GraphicsWindow.SetDropTarget(DebugVariableDropTarget(self))

  1505             self.GraphicsWindow.Bind(wx.EVT_SIZE, self.OnGraphicsWindowResize)

  1512             self.GraphicsWindow.Bind(wx.EVT_SIZE, self.OnGraphicsWindowResize)

  1506             main_sizer.AddWindow(self.GraphicsWindow, 1, flag=wx.GROW)

  1513             main_sizer.AddWindow(self.GraphicsWindow, 1, flag=wx.GROW)

  1507             

  1514             

  1508             self.GraphicsSizer = wx.BoxSizer(wx.VERTICAL)

  1515             self.GraphicsSizer = wx.BoxSizer(wx.VERTICAL)

  1509             self.GraphicsWindow.SetSizer(self.GraphicsSizer)

  1516             self.GraphicsWindow.SetSizer(self.GraphicsSizer)

  2217         posy = max(0, min(ystart, (vheight - window_size[1]) / SCROLLBAR_UNIT))

  2224         posy = max(0, min(ystart, (vheight - window_size[1]) / SCROLLBAR_UNIT))

  2218         self.GraphicsWindow.Scroll(posx, posy)

  2225         self.GraphicsWindow.Scroll(posx, posy)

  2219         self.GraphicsWindow.SetScrollbars(SCROLLBAR_UNIT, SCROLLBAR_UNIT, 

  2226         self.GraphicsWindow.SetScrollbars(SCROLLBAR_UNIT, SCROLLBAR_UNIT, 

  2220                 vwidth / SCROLLBAR_UNIT, vheight / SCROLLBAR_UNIT, posx, posy)

  2227                 vwidth / SCROLLBAR_UNIT, vheight / SCROLLBAR_UNIT, posx, posy)

  2221     

  2228     

  2222     def OnGraphicsWindowResize(self, event):

  2236     def OnGraphicsWindowResize(self, event):

  2223         self.RefreshGraphicsWindowScrollbars()

  2237         self.RefreshGraphicsWindowScrollbars()

  2224         event.Skip()

  2238         event.Skip()