GraphicViewer.py
changeset 687 629680fb0582
parent 668 e858ff2f7862
child 706 9920d8c07e5e
equal deleted inserted replaced
686:3216bf5f711d 687:629680fb0582
   505             dc.Blit(0, 0, width, height, dcs, 0, 0, wx.EQUIV)  #(NOT src) XOR dst
   505             dc.Blit(0, 0, width, height, dcs, 0, 0, wx.EQUIV)  #(NOT src) XOR dst
   506     
   506     
   507     ## Refresh the variable cursor.
   507     ## Refresh the variable cursor.
   508     #  @param dc The draw canvas
   508     #  @param dc The draw canvas
   509     def RefreshCursor(self, dc=None):
   509     def RefreshCursor(self, dc=None):
   510         if dc is None:
   510         if self:
   511             dc = wx.BufferedDC(wx.ClientDC(self.Canvas.canvas), self.Canvas._Buffer)
   511             if dc is None:
   512         
   512                 dc = wx.BufferedDC(wx.ClientDC(self.Canvas.canvas), self.Canvas._Buffer)
   513         # Erase previous time cursor if drawn
   513             
   514         if self.LastCursor is not None:
   514             # Erase previous time cursor if drawn
   515             self.DrawCursor(dc, *self.LastCursor)
   515             if self.LastCursor is not None:
   516         
   516                 self.DrawCursor(dc, *self.LastCursor)
   517         # Draw new time cursor
   517             
   518         if self.CursorIdx is not None:
   518             # Draw new time cursor
   519             self.LastCursor = self.Datas[self.CursorIdx]
   519             if self.CursorIdx is not None:
   520             self.DrawCursor(dc, *self.LastCursor)
   520                 self.LastCursor = self.Datas[self.CursorIdx]
       
   521                 self.DrawCursor(dc, *self.LastCursor)