MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-01 09:03:31 +07:00
Code Issues Packages Projects Releases Wiki Activity

tooltip second apperance bug

Browse Source
This commit is contained in:
Kirill Kalishev
2010-09-23 21:10:25 +04:00
parent e20d9dbc63
commit 50ba23e295
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/IdeTooltipManager.java
+2
View File
@@ -325,6 +325,8 @@ public class IdeTooltipManager implements ApplicationComponent, AWTEventListener
}
};
myShowRequest = null;
if (me != null) {
myAlarm.addRequest(myHideRunnable, Registry.intValue("ide.tooltip.autoDismissDeadZone"));
} else {