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

user-friendly dumb mode handling in quick doc popup (EA-38090)

Browse Source
This commit is contained in:
peter
2012-08-13 14:59:24 +02:00
parent f36f765724
commit c7f83e68cb
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/codeInsight/navigation/CtrlMouseHandler.java
+6 -1
View File
@@ -576,7 +576,12 @@ public class CtrlMouseHandler extends AbstractProjectComponent {
ApplicationManager.getApplication().runReadAction(new Runnable() {
@Override
public void run() {
fullTextRef.set(provider.generateDoc(anchorElement, originalElement));
try {
fullTextRef.set(provider.generateDoc(anchorElement, originalElement));
}
catch (IndexNotReadyException e) {
fullTextRef.set("Documentation is not available while indexing is in progress");
}
if (anchorElement instanceof PsiQualifiedNamedElement) {
qualifiedNameRef.set(((PsiQualifiedNamedElement)anchorElement).getQualifiedName());
}