Viewer.py
changeset 658 89d20745b061
parent 654 f8445d00613d
child 666 d4bb66691248
equal deleted inserted replaced
657:b286a16162fc 658:89d20745b061
  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):