mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
check cancelling by cdr
This commit is contained in:
@@ -72,6 +72,7 @@ public class TextSplitter {
|
||||
List<CheckArea> results = new ArrayList<CheckArea>();
|
||||
String[] pieces = text.substring(i).split(WORD_SPLITTER);
|
||||
for (String s : pieces) {
|
||||
// ProgressManager.checkCanceled();
|
||||
if (s.length() > 0) {
|
||||
int p1 = text.indexOf(s, i);
|
||||
TextRange range = TextRange.from(p1, s.length());
|
||||
|
||||
Reference in New Issue
Block a user