From a911bcac86674e379b0570cdf7f5fdc6001d064d Mon Sep 17 00:00:00 2001
From: Sergey Malenkov <sergey.malenkov@jetbrains.com>
Date: Thu, 2 Oct 2014 17:20:17 +0400
Subject: [PATCH] Fix banner repainting

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

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 4491508a76f6..5d1b8d296c52 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
@@ -140,6 +140,8 @@ final class SettingsEditor extends AbstractEditor implements DataProvider {
         size.width = myTreeView.getWidth() - 10;
         mySearch.setPreferredSize(size);
         mySearch.setSize(size);
+        mySearch.revalidate();
+        mySearch.repaint();
       }
     });
     myEditor = new ConfigurableEditor(this, null, true) {