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-66333 Quick documentation lookup on mouse hover

Browse Source 
Don't close quick doc control invoked on Ctrl+Q when mouse is moved
This commit is contained in:
Denis.Zhdanov
2012-07-05 09:56:19 +04:00
parent ed575aa1fb
commit efa2b4f4d6
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/codeInsight/documentation/QuickDocOnMouseOverManager.java
+1
View File
@@ -213,6 +213,7 @@ public class QuickDocOnMouseOverManager {
}
hint.cancel();
myDocumentationManager = null;
}
private static class DelayedQuickDocInfo {