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

Just a bit of cancellability

Browse Source
This commit is contained in:
Maxim Shafirov
2011-08-12 14:43:09 +04:00
parent b2f84b3899
commit 974e6ea289
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/DefaultHighlightVisitor.java
+3
View File
@@ -27,6 +27,7 @@ import com.intellij.openapi.extensions.ExtensionPointListener;
import com.intellij.openapi.extensions.ExtensionPointName;
import com.intellij.openapi.extensions.Extensions;
import com.intellij.openapi.extensions.PluginDescriptor;
import com.intellij.openapi.progress.ProgressManager;
import com.intellij.openapi.project.DumbAware;
import com.intellij.openapi.project.DumbService;
import com.intellij.openapi.project.Project;
@@ -132,6 +133,8 @@ public class DefaultHighlightVisitor implements HighlightVisitor, DumbAware {
continue;
}
ProgressManager.checkCanceled();
annotator.annotate(element, annotationHolder);
}