controls/EditorPanel.py
changeset 675 0ea836add01f
parent 655 435e2d8ee580
child 681 c141dad94ff4
--- a/controls/EditorPanel.py	Mon Apr 30 16:27:25 2012 +0200
+++ b/controls/EditorPanel.py	Wed May 02 00:32:15 2012 +0200
@@ -93,6 +93,12 @@
     def SetIcon(self, icon):
         self.Icon = icon
     
+    def GetState(self):
+        return None
+    
+    def SetState(self, state):
+        pass
+    
     def IsViewing(self, tagname):
         return self.TagName == tagname