From c3281a71ee65410efda7ab5c8a743b2dffe8fab6 Mon Sep 17 00:00:00 2001 From: sxhya Date: Fri, 14 Jun 2024 15:33:29 +0200 Subject: [PATCH] Fix #510 --- .../org/arend/actions/SearchArendFilesContributor.kt | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/src/main/kotlin/org/arend/actions/SearchArendFilesContributor.kt b/src/main/kotlin/org/arend/actions/SearchArendFilesContributor.kt index c74419b8e..17e4d2cd6 100644 --- 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 { override fun createContributor(initEvent: AnActionEvent): SearchEverywhereContributor { - return SearchArendFilesContributor(initEvent) + return PSIPresentationBgRendererWrapper(SearchArendFilesContributor(initEvent)) } } \ No newline at end of file