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

IDEA-70943 Tooltip animations and buggy visibility are exceedingly frustrating

Browse Source
This commit is contained in:
Vassiliy.Kudryashov
2016-03-15 23:17:14 +03:00
parent d5e776af3f
commit aaa109242f
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/DaemonListeners.java
+4 -2
View File
@@ -579,8 +579,10 @@ public class DaemonListeners implements Disposable {
int offset = editor.logicalPositionToOffset(logical);
if (editor.offsetToLogicalPosition(offset).column != logical.column) return; // we are in virtual space
HighlightInfo info = myDaemonCodeAnalyzer.findHighlightByOffset(editor.getDocument(), offset, false);
if (info == null || info.getDescription() == null) return;
if (IdeTooltipManager.getInstance().hasCurrent()) return;
if (info == null || info.getDescription() == null) {
IdeTooltipManager.getInstance().hideCurrent(e.getMouseEvent());
return;
}
DaemonTooltipUtil.showInfoTooltip(info, editor, offset);
shown = true;
}
platform/platform-impl/src/com/intellij/ide/IdeTooltipManager.java
+1 -3
View File
@@ -132,9 +132,7 @@ public class IdeTooltipManager implements ApplicationComponent, AWTEventListener
else if (me.getID() == MouseEvent.MOUSE_MOVED) {
if (c == myCurrentComponent || c == myQueuedComponent) {
if (myCurrentTipUi != null && myCurrentTipUi.wasFadedIn()) {
if (hideCurrent(me, null, null)) {
maybeShowFor(c, me);
}
maybeShowFor(c, me);
}
else {
if (!myCurrentTipIsCentered) {