GraphicViewer.py
changeset 331 9106d66bd204
parent 326 c82807b17128
child 338 87e5015330ae
equal deleted inserted replaced
330:d803ba077da0 331:9106d66bd204
   192         pass
   192         pass
   193     
   193     
   194     def RefreshScaling(self, refresh=True):
   194     def RefreshScaling(self, refresh=True):
   195         pass
   195         pass
   196     
   196     
       
   197     def SelectAll(self):
       
   198         pass
       
   199     
   197     def AddPoint(self, tick, value):
   200     def AddPoint(self, tick, value):
   198         self.Datas.append((float(tick), {True:1., False:0.}.get(value, float(value))))
   201         self.Datas.append((float(tick), {True:1., False:0.}.get(value, float(value))))
   199         if self.CurrentValue + self.CurrentRange == len(self.Datas) - 1:
   202         if self.CurrentValue + self.CurrentRange == len(self.Datas) - 1:
   200             self.CurrentValue += 1
   203             self.CurrentValue += 1
   201             self.RefreshView()
   204             self.RefreshView()