--- a/editors/Viewer.py Wed Mar 13 23:49:19 2013 +0100
+++ b/editors/Viewer.py Thu Mar 14 09:20:07 2013 +0100
@@ -718,18 +718,6 @@
def GetViewScale(self):
return self.ViewScale
- def GetState(self):
- return {"position": self.Editor.GetViewStart(),
- "zoom": self.CurrentScale}
-
- def SetState(self, state):
- if self:
- if state.has_key("zoom"):
- self.SetScale(state["zoom"])
- if state.has_key("position"):
- self.Scroll(*state["position"])
- self.RefreshVisibleElements()
-
def GetLogicalDC(self, buffered=False):
if buffered:
bitmap = wx.EmptyBitmap(*self.Editor.GetClientSize())