equal
deleted
inserted
replaced
2956 yp = max(0, min(y - rotation * 3, self.Editor.GetVirtualSize()[1] / self.Editor.GetScrollPixelsPerUnit()[1])) |
2956 yp = max(0, min(y - rotation * 3, self.Editor.GetVirtualSize()[1] / self.Editor.GetScrollPixelsPerUnit()[1])) |
2957 self.RefreshVisibleElements(yp = yp) |
2957 self.RefreshVisibleElements(yp = yp) |
2958 self.Scroll(x, yp) |
2958 self.Scroll(x, yp) |
2959 |
2959 |
2960 def OnMoveWindow(self, event): |
2960 def OnMoveWindow(self, event): |
2961 self.Editor.GetBestSize() |
|
2962 self.RefreshScrollBars() |
2961 self.RefreshScrollBars() |
2963 self.RefreshVisibleElements() |
2962 self.RefreshVisibleElements() |
2964 event.Skip() |
2963 event.Skip() |
2965 |
2964 |
2966 def DoDrawing(self, dc, printing = False): |
2965 def DoDrawing(self, dc, printing = False): |