From ec47cb57c59908d6f1e00eed67fbdd012653f108 Mon Sep 17 00:00:00 2001 From: Nikolay Krasko Date: Mon, 22 Dec 2014 16:20:40 +0300 Subject: [PATCH] Minor: check cancel before each marker count --- .../jetbrains/jet/plugin/highlighter/JetLineMarkerProvider.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/idea/src/org/jetbrains/jet/plugin/highlighter/JetLineMarkerProvider.java b/idea/src/org/jetbrains/jet/plugin/highlighter/JetLineMarkerProvider.java index b8cec645a4d..aed7ec4e225 100644 --- a/idea/src/org/jetbrains/jet/plugin/highlighter/JetLineMarkerProvider.java +++ b/idea/src/org/jetbrains/jet/plugin/highlighter/JetLineMarkerProvider.java @@ -159,6 +159,8 @@ public class JetLineMarkerProvider implements LineMarkerProvider { Set properties = Sets.newHashSet(); for (PsiElement element : elements) { + ProgressManager.checkCanceled(); + if (element instanceof JetClass) { collectInheritedClassMarker((JetClass) element, result); }