avoid invalid regions

2026-09-27 10:03:11 +07:00 · 2014-02-21 21:13:12 +01:00
parent ca5b7392bf
commit e37b8532b5
1 changed files with 1 additions and 0 deletions
@@ -262,6 +262,7 @@ public class LivePreview extends DocumentAdapter implements SearchResults.Search
            @Override
            public void run() {
              for (FoldRegion region : allRegions) {
+                if (!region.isValid()) continue;
                if (cursor.intersects(TextRange.create(region))) {
                  region.setExpanded(true);
                }