editors/Viewer.py
changeset 3540 75a83cc07f27
parent 3529 b9737bb5f92a
child 3546 ee51d1deadfd
--- a/editors/Viewer.py	Fri Jul 15 14:38:33 2022 +0200
+++ b/editors/Viewer.py	Fri Jul 15 14:40:55 2022 +0200
@@ -1909,9 +1909,9 @@
 
     def OnViewerMouseEvent(self, event):
         self.ResetBuffer()
-        if (event.Leaving() or event.RightDown()) and self.ToolTipElement is not None:
+        if (event.Leaving() or event.RightUp()) and self.ToolTipElement is not None:
             self.ToolTipElement.DestroyToolTip()
-        elif (not event.Entering() and not event.RightDown() and
+        elif (not event.Entering() and not event.RightUp() and
               gettime() - self.LastToolTipCheckTime > REFRESH_PERIOD):
             self.LastToolTipCheckTime = gettime()
             element = None