Fix #510

JetBrains · Jun 14, 2024 · c3281a7 · c3281a7
1 parent 6e3507f
commit c3281a7
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/src/main/kotlin/org/arend/actions/SearchArendFilesContributor.kt b/src/main/kotlin/org/arend/actions/SearchArendFilesContributor.kt
@@ -1,9 +1,6 @@
 package org.arend.actions
 
-import com.intellij.ide.actions.searcheverywhere.AbstractGotoSEContributor
-import com.intellij.ide.actions.searcheverywhere.FileSearchEverywhereContributor
-import com.intellij.ide.actions.searcheverywhere.SearchEverywhereContributor
-import com.intellij.ide.actions.searcheverywhere.SearchEverywhereContributorFactory
+import com.intellij.ide.actions.searcheverywhere.*
 import com.intellij.ide.util.gotoByName.FileTypeRef
 import com.intellij.ide.util.gotoByName.FilteringGotoByModel
 import com.intellij.ide.util.gotoByName.GotoFileModel
@@ -43,6 +40,6 @@ class SearchArendFilesContributor(val event: AnActionEvent) : AbstractGotoSECont
 
 class ArendSECFactory : SearchEverywhereContributorFactory<Any> {
     override fun createContributor(initEvent: AnActionEvent): SearchEverywhereContributor<Any> {
-        return SearchArendFilesContributor(initEvent)
+        return PSIPresentationBgRendererWrapper(SearchArendFilesContributor(initEvent))
     }
 }