images/move.png
author |
Andrey Skvortsov <andrej.skvortzov@gmail.com> |
|
Mon, 24 Dec 2018 16:20:20 +0300 |
changeset 2494 |
a30dfc8a0c29 |
parent 814 |
5743cbdff669
|
permissions |
-rw-r--r-- |
fix zoom-in/zoom-out using mouse wheel
regression introduced by 2393:235f847be37e "python3 support: pylint, W1619 #(old-division) division w/o __future__ statement"