equal
deleted
inserted
replaced
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() |