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