--- a/Viewer.py	Wed Sep 19 13:32:24 2007 +0200
+++ b/Viewer.py	Wed Sep 19 15:20:59 2007 +0200
@@ -272,6 +272,15 @@
         self.Comments = {}
         self.SelectedElement = None
     
+    # Verify wires type compatibility
+    def VerifyVariableTypeCompatibility(self):
+        to_delete = []
+        for wire in self.Wires:
+            if not wire.IsConnectedCompatible():
+                to_delete.append(wire)
+        for wire in to_delete:
+            wire.Delete()
+    
     # Remove all elements
     def CleanView(self):
         for block in self.Blocks.keys():
@@ -324,10 +333,6 @@
         self.RefreshScrollBars()
         self.Refresh(False)
     
-    def Scroll(self, x, y):
-        print "Scroll to (%d, %d)"%(x, y)
-        wx.ScrolledWindow.Scroll(self, x, y)
-    
     def RefreshScrollBars(self):
         xstart, ystart = self.GetViewStart()
         window_size = self.GetClientSize()