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