From b859f6e65b00a4bb20cec7ca8cb30829118b2ebf Mon Sep 17 00:00:00 2001
From: Sergey Malenkov <sergey.malenkov@jetbrains.com>
Date: Mon, 29 Sep 2014 13:03:34 +0400
Subject: [PATCH] Visual improvements for banner in the Settings dialog

---
 .../com/intellij/openapi/options/newEditor/SettingsEditor.java   | 1 +
 1 file changed, 1 insertion(+)

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 a8bd89167dd7..b1db8d08b82e 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
@@ -192,6 +192,7 @@ final class SettingsEditor extends AbstractEditor implements DataProvider {
       }
     };
     myBanner = new Banner(myEditor.getResetAction());
+    myBanner.setBorder(BorderFactory.createEmptyBorder(0, 5, 0, 5));
 
     JPanel panel = new JPanel(new BorderLayout(10, 10));
     panel.add(BorderLayout.WEST, mySearch);