--- a/GraphicViewer.py	Wed Mar 18 16:42:12 2009 +0100
+++ b/GraphicViewer.py	Thu Mar 19 18:10:12 2009 +0100
@@ -194,6 +194,9 @@
     def RefreshScaling(self, refresh=True):
         pass
     
+    def SelectAll(self):
+        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: