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