equal
deleted
inserted
replaced
689 def GetState(self): |
689 def GetState(self): |
690 return {"position": self.Editor.GetViewStart(), |
690 return {"position": self.Editor.GetViewStart(), |
691 "zoom": self.CurrentScale} |
691 "zoom": self.CurrentScale} |
692 |
692 |
693 def SetState(self, state): |
693 def SetState(self, state): |
694 self.SetScale(state["zoom"]) |
694 if self: |
695 self.Scroll(*state["position"]) |
695 self.SetScale(state["zoom"]) |
696 self.RefreshVisibleElements() |
696 self.Scroll(*state["position"]) |
|
697 self.RefreshVisibleElements() |
697 |
698 |
698 def GetLogicalDC(self, buffered=False): |
699 def GetLogicalDC(self, buffered=False): |
699 if buffered: |
700 if buffered: |
700 bitmap = wx.EmptyBitmap(*self.Editor.GetClientSize()) |
701 bitmap = wx.EmptyBitmap(*self.Editor.GetClientSize()) |
701 dc = wx.MemoryDC(bitmap) |
702 dc = wx.MemoryDC(bitmap) |