GraphicViewer.py
changeset 326 c82807b17128
parent 313 9266d1e6e3d4
child 331 9106d66bd204
equal deleted inserted replaced
325:0a58f1625b6e 326:c82807b17128
   173             start = 0.
   173             start = 0.
   174             end = 25.
   174             end = 25.
   175         self.Canvas.Draw(self.GraphicsObject, xAxis=(start, end))
   175         self.Canvas.Draw(self.GraphicsObject, xAxis=(start, end))
   176         
   176         
   177         self.RefreshScrollBar()
   177         self.RefreshScrollBar()
   178         
   178     
       
   179     def SetMode(self, mode):
       
   180         pass
       
   181     
   179     def GetTagName(self):
   182     def GetTagName(self):
   180         return ""
   183         return ""
   181     
   184     
   182     def GetInstancePath(self):
   185     def GetInstancePath(self):
   183         return self.InstancePath
   186         return self.InstancePath
       
   187     
       
   188     def IsViewing(self, tagname):
       
   189         return self.InstancePath == tagname
       
   190     
       
   191     def ResetBuffer(self):
       
   192         pass
       
   193     
       
   194     def RefreshScaling(self, refresh=True):
       
   195         pass
   184     
   196     
   185     def AddPoint(self, tick, value):
   197     def AddPoint(self, tick, value):
   186         self.Datas.append((float(tick), {True:1., False:0.}.get(value, float(value))))
   198         self.Datas.append((float(tick), {True:1., False:0.}.get(value, float(value))))
   187         if self.CurrentValue + self.CurrentRange == len(self.Datas) - 1:
   199         if self.CurrentValue + self.CurrentRange == len(self.Datas) - 1:
   188             self.CurrentValue += 1
   200             self.CurrentValue += 1