E5Gui/E5MapWidget.py

changeset 4371
e09838aa0a9f
parent 4021
195a471c327b
child 4631
5c1a96925da4
--- a/E5Gui/E5MapWidget.py	Sun Aug 16 15:34:40 2015 +0200
+++ b/E5Gui/E5MapWidget.py	Mon Aug 17 12:16:43 2015 +0200
@@ -244,6 +244,7 @@
                 vsbw = 0
             self.setGeometry(QRect(cr.right() - self.__width - vsbw, cr.top(),
                                    self.__width, cr.height()))
+            self.update()
     
     def scaleFactor(self, slider=False):
         """

eric ide

mercurial