MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 15:10:43 +07:00
Code Issues Packages Projects Releases Wiki Activity

Use set to ensure that resource list is distinct

Browse Source 
(cherry picked from commit 5cd89c56f132cdb2367e30dc1cd8fda535a3b175)


(cherry picked from commit ee9b197a3b470140a05ae016b5c652f74e1c89e7)

IJ-MR-166587

GitOrigin-RevId: 26cf7b2cdec1e124ee3fc0becbe02d438ac3c77f
This commit is contained in:
Egor Malyshev
2025-05-14 13:54:33 +02:00
committed by intellij-monorepo-bot
parent fe33409282
commit a1b59f953b
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
plugins/built-in-help/src/com/jetbrains/builtInHelp/search/HelpSearch.kt
View File

@@ -21,15 +21,13 @@ import java.nio.file.Path
import java.nio.file.Paths
import java.util.*
class HelpSearch {
companion object {
private val resources = arrayOf("_0.cfe", "_0.cfs", "_0.si", "segments_1")
private val resources = setOf("_0.cfe", "_0.cfs", "_0.si", "segments_1")
@NonNls
private const val NOT_FOUND = "[]"
private val analyzer: StandardAnalyzer = StandardAnalyzer()
@NotNull
@@ -39,6 +37,7 @@ class HelpSearch {
val indexDir: Path? = Files.createTempDirectory("search-index")
var indexDirectory: NIOFSDirectory? = null
var reader: DirectoryReader? = null
if (indexDir != null)
try {