From 3c711dec389ed71afcac82d5ee44cd0876c3f465 Mon Sep 17 00:00:00 2001
From: Rustam Vishnyakov <rustam.vishnyakov@jetbrains.com>
Date: Wed, 28 Aug 2019 12:39:07 +0300
Subject: [PATCH] Minor cleanup

GitOrigin-RevId: 827dde65f70a0ea2741faea4f28064c220940404
---
 .../src/com/intellij/ide/ui/search/SearchUtil.java              | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/ide/ui/search/SearchUtil.java b/platform/platform-impl/src/com/intellij/ide/ui/search/SearchUtil.java
index 049f5a57f954..c9e342179e6b 100644
--- a/platform/platform-impl/src/com/intellij/ide/ui/search/SearchUtil.java
+++ b/platform/platform-impl/src/com/intellij/ide/ui/search/SearchUtil.java
@@ -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);
         }