--- a/TextViewer.py	Wed Dec 21 19:38:26 2011 +0100
+++ b/TextViewer.py	Wed Dec 21 19:41:29 2011 +0100
@@ -222,9 +222,6 @@
         else:
             return self.TagName == tagname
     
-    def IsDebugging(self):
-        return self.Debug
-    
     def GetText(self):
         return self.Editor.GetText()