--- a/Viewer.py	Mon Apr 30 16:27:25 2012 +0200
+++ b/Viewer.py	Wed May 02 00:32:15 2012 +0200
@@ -686,6 +686,15 @@
     def GetViewScale(self):
         return self.ViewScale
 
+    def GetState(self):
+        return {"position": self.Editor.GetViewStart(),
+                "zoom": self.CurrentScale}
+
+    def SetState(self, state):
+        self.SetScale(state["zoom"])
+        self.Scroll(*state["position"])
+        self.RefreshVisibleElements()
+        
     def GetLogicalDC(self, buffered=False):
         if buffered:
             bitmap = wx.EmptyBitmap(*self.Editor.GetClientSize())