editors/GraphicViewer.py
changeset 902 ffa8ee5ee2fe
parent 887 d3c6c4ab8b28
child 1176 f4b434672204
equal deleted inserted replaced
901:ab43f3e40b9d 902:ffa8ee5ee2fe
   309             self.GetBounds()
   309             self.GetBounds()
   310             while int(self.Data[self.StartIdx, 0]) < tick - self.CurrentRange:
   310             while int(self.Data[self.StartIdx, 0]) < tick - self.CurrentRange:
   311                 self.StartIdx += 1
   311                 self.StartIdx += 1
   312             self.EndIdx += 1
   312             self.EndIdx += 1
   313             self.StartTick = self.Data[self.StartIdx, 0]
   313             self.StartTick = self.Data[self.StartIdx, 0]
   314         self.NewDataAvailable()
   314         self.NewDataAvailable(None)
   315     
   315     
   316     def RefreshScrollBar(self):
   316     def RefreshScrollBar(self):
   317         if len(self.Data) > 0:
   317         if len(self.Data) > 0:
   318             self.GetBounds()
   318             self.GetBounds()
   319             pos = int(self.Data[self.StartIdx, 0] - self.Data[0, 0])
   319             pos = int(self.Data[self.StartIdx, 0] - self.Data[0, 0])
   353     def OnPositionChanging(self, event):
   353     def OnPositionChanging(self, event):
   354         if len(self.Data) > 0:
   354         if len(self.Data) > 0:
   355             self.ResetBounds()
   355             self.ResetBounds()
   356             self.StartTick = self.Data[0, 0] + event.GetPosition()
   356             self.StartTick = self.Data[0, 0] + event.GetPosition()
   357             self.Fixed = True
   357             self.Fixed = True
   358             self.NewDataAvailable(True)
   358             self.NewDataAvailable(None, True)
   359         event.Skip()
   359         event.Skip()
   360 
   360 
   361     def OnResetButton(self, event):
   361     def OnResetButton(self, event):
   362         self.Fixed = False
   362         self.Fixed = False
   363         self.ResetView()
   363         self.ResetView()
   366     def OnCurrentButton(self, event):
   366     def OnCurrentButton(self, event):
   367         if len(self.Data) > 0:
   367         if len(self.Data) > 0:
   368             self.ResetBounds()
   368             self.ResetBounds()
   369             self.StartTick = max(self.Data[0, 0], self.Data[-1, 0] - self.CurrentRange)
   369             self.StartTick = max(self.Data[0, 0], self.Data[-1, 0] - self.CurrentRange)
   370             self.Fixed = False
   370             self.Fixed = False
   371             self.NewDataAvailable(True)
   371             self.NewDataAvailable(None, True)
   372         event.Skip()
   372         event.Skip()
   373     
   373     
   374     def OnResetZoomOffsetButton(self, event):
   374     def OnResetZoomOffsetButton(self, event):
   375         if len(self.Data) > 0:
   375         if len(self.Data) > 0:
   376             self.YCenter = (self.MaxValue + self.MinValue) / 2
   376             self.YCenter = (self.MaxValue + self.MinValue) / 2
   441             self.CurrentMotionValue += oldpos[0] - newpos[0]
   441             self.CurrentMotionValue += oldpos[0] - newpos[0]
   442             self.YCenter += oldpos[1] - newpos[1]
   442             self.YCenter += oldpos[1] - newpos[1]
   443             self.ResetBounds()
   443             self.ResetBounds()
   444             self.StartTick = max(self.Data[0, 0], min(self.CurrentMotionValue, self.Data[-1, 0] - self.CurrentRange))
   444             self.StartTick = max(self.Data[0, 0], min(self.CurrentMotionValue, self.Data[-1, 0] - self.CurrentRange))
   445             self.CurrentMousePos = event.GetPosition()
   445             self.CurrentMousePos = event.GetPosition()
   446             self.NewDataAvailable(True)
   446             self.NewDataAvailable(None, True)
   447         event.Skip()
   447         event.Skip()
   448 
   448 
   449     def OnCanvasMouseWheel(self, event):
   449     def OnCanvasMouseWheel(self, event):
   450         if self.CurrentMousePos is None:
   450         if self.CurrentMousePos is None:
   451             rotation = event.GetWheelRotation() / event.GetWheelDelta()
   451             rotation = event.GetWheelRotation() / event.GetWheelDelta()