fix: fix NPE crash of search thread

StarkZhidian · Mar 12, 2024 · b32ef7f · b32ef7f
1 parent 2905f23
commit b32ef7f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/editor/src/main/java/io/github/rosemoe/sora/widget/EditorSearcher.java b/editor/src/main/java/io/github/rosemoe/sora/widget/EditorSearcher.java
@@ -427,7 +427,7 @@ public void run() {
             localThread = Thread.currentThread();
             var results = new LongArrayList();
             var textLength = text.length();
-            var ignoreCase = searchOptions.caseInsensitive;
+            var ignoreCase = options.caseInsensitive;
             var pattern = this.pattern;
             switch (options.type) {
                 case SearchOptions.TYPE_NORMAL: {