diff -r f27e0226becd -r c3f57225c305 eric6/E5Gui/E5MapWidget.py
--- a/eric6/E5Gui/E5MapWidget.py Mon Nov 01 09:29:46 2021 +0100
+++ b/eric6/E5Gui/E5MapWidget.py Wed Nov 03 19:17:00 2021 +0100
@@ -228,7 +228,7 @@
if event.button() == Qt.MouseButton.LeftButton and self._master:
vsb = self._master.verticalScrollBar()
value = self.position2Value(event.pos().y() - 1)
- vsb.setValue(value - 0.5 * vsb.pageStep()) # center on page
+ vsb.setValue(int(value - 0.5 * vsb.pageStep())) # center on page
self.__mousePressPos = None
def mouseMoveEvent(self, event):
@@ -240,7 +240,7 @@
if event.buttons() & Qt.MouseButton.LeftButton and self._master:
vsb = self._master.verticalScrollBar()
value = self.position2Value(event.pos().y() - 1)
- vsb.setValue(value - 0.5 * vsb.pageStep()) # center on page
+ vsb.setValue(int(value - 0.5 * vsb.pageStep())) # center on page
def wheelEvent(self, event):
"""
@@ -308,7 +308,8 @@
if self._master:
offset = 0 if slider else 1
vsb = self._master.verticalScrollBar()
- return (value - vsb.minimum()) * self.scaleFactor(slider) + offset
+ return int((value - vsb.minimum()) * self.scaleFactor(slider) +
+ offset)
else:
return value
