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