# HG changeset patch
# User Andrey Skvortsov <andrej.skvortzov@gmail.com>
# Date 1545657620 -10800
# Node ID a30dfc8a0c29fb42f8e464d12806b5ae5bf69c22
# Parent  9deec258ab1ae0c8ceff723d4028f9e9d0de42f0
fix zoom-in/zoom-out using mouse wheel

regression introduced by 2393:235f847be37e "python3 support: pylint, W1619          #(old-division) division w/o __future__ statement"

diff -r 9deec258ab1a -r a30dfc8a0c29 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]))