equal
deleted
inserted
replaced
716 return self.CurrentScale |
716 return self.CurrentScale |
717 |
717 |
718 def GetViewScale(self): |
718 def GetViewScale(self): |
719 return self.ViewScale |
719 return self.ViewScale |
720 |
720 |
721 def GetState(self): |
|
722 return {"position": self.Editor.GetViewStart(), |
|
723 "zoom": self.CurrentScale} |
|
724 |
|
725 def SetState(self, state): |
|
726 if self: |
|
727 if state.has_key("zoom"): |
|
728 self.SetScale(state["zoom"]) |
|
729 if state.has_key("position"): |
|
730 self.Scroll(*state["position"]) |
|
731 self.RefreshVisibleElements() |
|
732 |
|
733 def GetLogicalDC(self, buffered=False): |
721 def GetLogicalDC(self, buffered=False): |
734 if buffered: |
722 if buffered: |
735 bitmap = wx.EmptyBitmap(*self.Editor.GetClientSize()) |
723 bitmap = wx.EmptyBitmap(*self.Editor.GetClientSize()) |
736 dc = wx.MemoryDC(bitmap) |
724 dc = wx.MemoryDC(bitmap) |
737 else: |
725 else: |