editors/EditorPanel.py
changeset 980 c7ba67d01d65
parent 814 5743cbdff669
child 1085 906fe7f2c052
--- a/editors/EditorPanel.py	Wed Mar 13 23:49:19 2013 +0100
+++ b/editors/EditorPanel.py	Thu Mar 14 09:20:07 2013 +0100
@@ -88,12 +88,6 @@
     def SetIcon(self, icon):
         self.Icon = icon
     
-    def GetState(self):
-        return None
-    
-    def SetState(self, state):
-        pass
-    
     def IsViewing(self, tagname):
         return self.GetTagName() == tagname