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);