--- 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())