有没有人知道如何在没有重新启动应用程序的情况下摆脱Domino Designer 9.0中的粘性工具提示？

I don't know if it is just me, but I have an issue with tooltips sticking on my screen. These tooltips were activated by hovering in Domino Designer 9.0. The problem is that they don't go away, not everytime, but far too often. I can't figure out how to make them go away short of restarting designer. This is really annoying. See the example of the stuck tooltip still visible in Chrome while typing in this question.I don't know if it is just me, but I have an is