mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Add SpeedSearch in GitHub PullRequest List
From PR https://github.com/JetBrains/intellij-community/pull/1234 GitOrigin-RevId: ec6c9a4c263657e639e46847c7533c2351bfe7db
This commit is contained in:
committed by
intellij-monorepo-bot
parent
4478d78ab1
commit
c62079c40c
@@ -242,6 +242,7 @@ internal class GHPRComponentFactory(private val project: Project) {
|
||||
installSelectionSaver(it, listSelectionHolder)
|
||||
val shortcuts = CompositeShortcutSet(CommonShortcuts.ENTER, CommonShortcuts.DOUBLE_CLICK_1)
|
||||
EmptyAction.registerWithShortcutSet("Github.PullRequest.Timeline.Show", shortcuts, it)
|
||||
ListSpeedSearch(it) { item -> item.title }
|
||||
}
|
||||
|
||||
val search = GithubPullRequestSearchPanel(project, autoPopupController, dataContext.searchHolder).apply {
|
||||
@@ -445,4 +446,4 @@ internal class GHPRComponentFactory(private val project: Project) {
|
||||
|
||||
return model
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user