From 1f8feb9de6fc2cecc7509ce5cea3748954674e42 Mon Sep 17 00:00:00 2001 From: anna Date: Tue, 13 Mar 2012 15:45:59 +0100 Subject: [PATCH] restore editor quick info tooltip --- .../platform-impl/src/com/intellij/ide/IdeTooltipManager.java | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/platform/platform-impl/src/com/intellij/ide/IdeTooltipManager.java b/platform/platform-impl/src/com/intellij/ide/IdeTooltipManager.java index d0d773a199ec..4116afd5ddf1 100644 --- a/platform/platform-impl/src/com/intellij/ide/IdeTooltipManager.java +++ b/platform/platform-impl/src/com/intellij/ide/IdeTooltipManager.java @@ -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);