beremiz

fix zoom-in/zoom-out using mouse wheel

2018-12-24, Andrey Skvortsov
a30dfc8a0c29
Parents 9deec258ab1a
Children 016748ef5fc4
fix zoom-in/zoom-out using mouse wheel

regression introduced by 2393:235f847be37e "python3 support: pylint, W1619 #(old-division) division w/o __future__ statement"
1 files changed, 1 insertions(+), 1 deletions(-)
  • +1 -1
    editors/Viewer.py
    • --- a/editors/Viewer.py Fri Oct 12 13:24:47 2018 +0300
    +++ b/editors/Viewer.py Mon Dec 24 16:20:20 2018 +0300
    @@ -3665,7 +3665,7 @@
    def OnMouseWheelWindow(self, event):
    if self.StartMousePos is None or self.StartScreenPos is None:
    - rotation = event.GetWheelRotation() / event.GetWheelDelta()
    + rotation = event.GetWheelRotation() // event.GetWheelDelta()
    if event.ShiftDown():
    x, y = self.GetViewStart()
    xp = max(0, min(x - rotation * 3, self.Editor.GetVirtualSize()[0] / self.Editor.GetScrollPixelsPerUnit()[0]))