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

restore editor quick info tooltip

Browse Source
This commit is contained in:
anna
2012-03-13 15:47:55 +01:00
parent 752bb79ad8
commit 1f8feb9de6
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/IdeTooltipManager.java
+1 -3
View File
@@ -130,9 +130,7 @@ public class IdeTooltipManager implements ApplicationComponent, AWTEventListener
hideCurrent(me, null, null);
}
} else if (me.getID() == MouseEvent.MOUSE_MOVED) {
if (c instanceof JComponent && ((JComponent)c).getToolTipText(me) == null) {
hideCurrent(me, null, null);//There is no tooltip here, let's proceed it as MOUSE_EXITED
} else if (me.getComponent() == myCurrentComponent || me.getComponent() == myQueuedComponent) {
if (me.getComponent() == myCurrentComponent || me.getComponent() == myQueuedComponent) {
if (myCurrentTipUi != null && myCurrentTipUi.wasFadedIn()) {
if (hideCurrent(me, null, null)) {
maybeShowFor(c, me);