Fix banner repainting

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