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