--- a/TextViewer.py	Wed Sep 19 13:32:24 2007 +0200
+++ b/TextViewer.py	Wed Sep 19 15:20:59 2007 +0200
@@ -239,7 +239,10 @@
         self.RefreshJumpList()
         self.EmptyUndoBuffer()
         self.DisableEvents = False
-        
+    
+    def VerifyVariableTypeCompatibility(self):
+        pass
+    
     def OnStyleNeeded(self, event):
         self.TextChanged = True
         line = self.LineFromPosition(self.GetEndStyled())