--- a/controls/EditorPanel.py Thu Jun 28 12:03:12 2012 +0200
+++ b/controls/EditorPanel.py Thu Jun 28 12:03:27 2012 +0200
@@ -92,7 +92,7 @@
pass
def IsViewing(self, tagname):
- return self.TagName == tagname
+ return self.GetTagName() == tagname
def IsDebugging(self):
return self.Debug