538         self.Editor.Bind(wx.EVT_SCROLLWIN, self.OnScrollWindow)

   538         self.Editor.Bind(wx.EVT_SCROLLWIN, self.OnScrollWindow)

   539         self.Editor.Bind(wx.EVT_SCROLLWIN_THUMBRELEASE, self.OnScrollStop)

   539         self.Editor.Bind(wx.EVT_SCROLLWIN_THUMBRELEASE, self.OnScrollStop)

   540         self.Editor.Bind(wx.EVT_MOUSEWHEEL, self.OnMouseWheelWindow)

   540         self.Editor.Bind(wx.EVT_MOUSEWHEEL, self.OnMouseWheelWindow)

   541         self.Editor.Bind(wx.EVT_SIZE, self.OnMoveWindow)

   541         self.Editor.Bind(wx.EVT_SIZE, self.OnMoveWindow)

   542         self.Editor.Bind(wx.EVT_MOUSE_EVENTS, self.OnViewerMouseEvent)

   542         self.Editor.Bind(wx.EVT_MOUSE_EVENTS, self.OnViewerMouseEvent)

   544     def __del__(self):

   544     def __del__(self):

   545         DebugViewer.__del__(self)

   545         DebugViewer.__del__(self)

   546         self.RefreshHighlightsTimer.Stop()

   546         self.RefreshHighlightsTimer.Stop()

   547     

   547     

   548     def SetCurrentCursor(self, cursor):

   548     def SetCurrentCursor(self, cursor):

   907             DebugViewer.RefreshNewData(self)

   907             DebugViewer.RefreshNewData(self)

   908         

   908         

   909     # Refresh Viewer elements

   909     # Refresh Viewer elements

   910     def RefreshView(self, variablepanel=True, selection=None):

   910     def RefreshView(self, variablepanel=True, selection=None):

   911         EditorPanel.RefreshView(self, variablepanel)

   911         EditorPanel.RefreshView(self, variablepanel)

   912         

   916         

   913         self.Inhibit(True)

   917         self.Inhibit(True)

   914         self.current_id = 0

   918         self.current_id = 0

   915         # Start by reseting Viewer

   919         # Start by reseting Viewer

   916         self.Flush()

   920         self.Flush()

  1421                 tooltip_pos = self.Editor.ClientToScreen(event.GetPosition())

  1425                 tooltip_pos = self.Editor.ClientToScreen(event.GetPosition())

  1422                 tooltip_pos.x += 10

  1426                 tooltip_pos.x += 10

  1423                 tooltip_pos.y += 10

  1427                 tooltip_pos.y += 10

  1424                 self.ToolTipElement.CreateToolTip(tooltip_pos)

  1428                 self.ToolTipElement.CreateToolTip(tooltip_pos)

  1425         event.Skip()

  1429         event.Skip()

  1427     def OnViewerLeftDown(self, event):

  1431     def OnViewerLeftDown(self, event):

  1428         if self.Mode == MODE_SELECTION:

  1432         if self.Mode == MODE_SELECTION:

  1429             dc = self.GetLogicalDC()

  1433             dc = self.GetLogicalDC()

  1430             pos = event.GetLogicalPosition(dc)

  1434             pos = event.GetLogicalPosition(dc)

  1431             if event.ShiftDown() and not event.ControlDown() and self.SelectedElement is not None:

  1435             if event.ShiftDown() and not event.ControlDown() and self.SelectedElement is not None: