--- a/TextViewer.py	Wed Sep 02 18:21:46 2009 +0200
+++ b/TextViewer.py	Tue Sep 15 14:59:33 2009 +0200
@@ -181,6 +181,9 @@
         else:
             return self.TagName == tagname
     
+    def IsDebugging(self):
+        return self.Debug
+    
     def SetMode(self, mode):
         pass