diff -r 1a68113a323d -r c7ba67d01d65 editors/TextViewer.py --- 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()