--- 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):
- 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()
--- a/tests/ide_tests/debug_project.sikuli/debug_project.py Fri Jul 15 14:38:33 2022 +0200
+++ b/tests/ide_tests/debug_project.sikuli/debug_project.py Fri Jul 15 14:40:55 2022 +0200
@@ -58,6 +58,8 @@
app.type("'sys.stdout.write(\"DEBUG TEST OK\\n\")'")