mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
switch to whole text search when stemming fails (IDEA-73854)
This commit is contained in:
+1
-2
@@ -43,7 +43,6 @@ import javax.swing.event.DocumentEvent;
|
||||
import java.io.IOException;
|
||||
import java.net.URL;
|
||||
import java.util.*;
|
||||
import java.util.concurrent.atomic.AtomicBoolean;
|
||||
import java.util.regex.Pattern;
|
||||
|
||||
/**
|
||||
@@ -226,7 +225,7 @@ public class SearchableOptionsRegistrarImpl extends SearchableOptionsRegistrar {
|
||||
|
||||
final Set<Configurable> currentConfigurables = new HashSet<Configurable>(contentHits);
|
||||
if (options.isEmpty()) { //operate with substring
|
||||
options.add(option);
|
||||
Collections.addAll(options, REG_EXP.split(optionToCheck));
|
||||
}
|
||||
Set<String> helpIds = null;
|
||||
for (String opt : options) {
|
||||
|
||||
Reference in New Issue
Block a user