--- a/GraphicViewer.py Wed Mar 18 15:54:09 2009 +0100
+++ b/GraphicViewer.py Wed Mar 18 15:54:37 2009 +0100
@@ -175,13 +175,25 @@
self.Canvas.Draw(self.GraphicsObject, xAxis=(start, end))
self.RefreshScrollBar()
-
+
+ def SetMode(self, mode):
+ pass
+
def GetTagName(self):
return ""
def GetInstancePath(self):
return self.InstancePath
+ def IsViewing(self, tagname):
+ return self.InstancePath == tagname
+
+ def ResetBuffer(self):
+ pass
+
+ def RefreshScaling(self, refresh=True):
+ pass
+
def AddPoint(self, tick, value):
self.Datas.append((float(tick), {True:1., False:0.}.get(value, float(value))))
if self.CurrentValue + self.CurrentRange == len(self.Datas) - 1: