From 885225f3c0e2e86bf64bf04eb32dc78a448a879a Mon Sep 17 00:00:00 2001
From: Sergey Malenkov <sergey.malenkov@jetbrains.com>
Date: Thu, 16 Oct 2014 12:56:57 +0400
Subject: [PATCH] IDEA-131335 Decrease a space between the banner and the
 configurable body

---
 .../intellij/openapi/options/newEditor/SettingsEditor.java    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsEditor.java b/platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsEditor.java
index bb87aedba5fc..630f8ebfda25 100644
--- a/platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsEditor.java
+++ b/platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsEditor.java
@@ -171,14 +171,14 @@ final class SettingsEditor extends AbstractEditor implements DataProvider {
       }
     };
     myBanner = new Banner(myEditor.getResetAction());
-    myBanner.setBorder(BorderFactory.createEmptyBorder(0, 10, 0, 10));
+    myBanner.setBorder(BorderFactory.createEmptyBorder(5, 10, 0, 10));
     mySearch.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
     mySearch.setBackground(myTreeView.myTree.getBackground());
     mySearch.addComponentListener(new ComponentAdapter() {
       @Override
       public void componentResized(ComponentEvent event) {
         Dimension size = myBanner.getPreferredSize();
-        size.height = mySearch.getHeight();
+        size.height = mySearch.getHeight() - 5;
         myBanner.setPreferredSize(size);
         myBanner.setSize(size);
         myBanner.revalidate();