--- a/TextViewer.py	Fri Jan 04 17:49:17 2008 +0100
+++ b/TextViewer.py	Fri Jan 11 17:51:56 2008 +0100
@@ -295,6 +295,9 @@
         
         self.Colourise(0, -1)
     
+    def RefreshScaling(self, refresh=True):
+        pass
+    
     def OnStyleNeeded(self, event):
         self.TextChanged = True
         line = self.LineFromPosition(self.GetEndStyled())