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

Minor cleanup

Browse Source 
GitOrigin-RevId: 827dde65f70a0ea2741faea4f28064c220940404
This commit is contained in:
Rustam Vishnyakov
2019-08-28 09:46:15 +00:00
committed by intellij-monorepo-bot
parent 8a886bfaee
commit 3c711dec38
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/ui/search/SearchUtil.java
+1 -1
View File
@@ -312,7 +312,7 @@ public class SearchUtil {
final TabbedPaneWrapper tabbedPaneWrapper = ((TabbedPaneWrapper.TabbedPaneHolder)rootComponent).getTabbedPaneWrapper();
final String path = SearchableOptionsRegistrar.getInstance().getInnerPath(configurable, option);
if (path != null) {
final int index = getSelection(path, tabbedPaneWrapper.getTabCount(), i -> tabbedPaneWrapper.getTitleAt(i));;
final int index = getSelection(path, tabbedPaneWrapper.getTabCount(), i -> tabbedPaneWrapper.getTitleAt(i));
if (index > -1 && index < tabbedPaneWrapper.getTabCount()) {
highlightComponent((JComponent)tabbedPaneWrapper.getTabComponentAt(index), option);
}