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

Cancellable grouping by custom regions

Browse Source
This commit is contained in:
Rustam Vishnyakov
2017-12-19 13:53:22 +03:00
parent 2141bcd58c
commit dcd0bf8dfd
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/structure-view-impl/src/com/intellij/ide/structureView/customRegions/CustomRegionStructureUtil.java
+3
View File
@@ -19,6 +19,7 @@ import com.intellij.ide.structureView.StructureViewTreeElement;
import com.intellij.lang.ASTNode;
import com.intellij.lang.Language;
import com.intellij.lang.folding.*;
import com.intellij.openapi.progress.ProgressManager;
import com.intellij.openapi.util.TextRange;
import com.intellij.psi.*;
import com.intellij.util.containers.ContainerUtil;
@@ -46,6 +47,7 @@ public class CustomRegionStructureUtil {
if (customRegions.size() > 0) {
List<StructureViewTreeElement> result = new ArrayList<>(customRegions);
for (StructureViewTreeElement element : originalElements) {
ProgressManager.checkCanceled();
boolean isInCustomRegion = false;
for (CustomRegionTreeElement customRegion : customRegions) {
if (customRegion.containsElement(element)) {
@@ -88,6 +90,7 @@ public class CustomRegionStructureUtil {
CustomRegionTreeElement currRegionElement = null;
CustomFoldingProvider provider = null;
while (iterator.hasNext()) {
ProgressManager.checkCanceled();
PsiElement child = iterator.next();
if (provider == null) provider = getProvider(child);
if (provider != null) {