editors/TextViewer.py
changeset 980 c7ba67d01d65
parent 894 a4919f228924
child 1057 3837e165b3f9
--- a/editors/TextViewer.py	Wed Mar 13 23:49:19 2013 +0100
+++ b/editors/TextViewer.py	Thu Mar 14 09:20:07 2013 +0100
@@ -247,13 +247,6 @@
     def GetCurrentPos(self):
         return self.Editor.GetCurrentPos()
     
-    def GetState(self):
-        return {"cursor_pos": self.Editor.GetCurrentPos()}
-    
-    def SetState(self, state):
-        if self and state.has_key("cursor_pos"):
-            self.Editor.GotoPos(state.get("cursor_pos", 0))
-        
     def OnModification(self, event):
         if not self.DisableEvents:
             mod_type = event.GetModificationType()