From 36b0f89fb02a55d920609ecb83503b6c5ae14f7f Mon Sep 17 00:00:00 2001 From: Sergey Pak Date: Thu, 13 Feb 2025 23:57:29 +0100 Subject: [PATCH] [settingsDialog] IJPL-176500 - fix splitter GitOrigin-RevId: 2003f34153c338fbdb475113919d5ee757993eb9 --- .../com/intellij/openapi/options/newEditor/SettingsEditor.java | 1 - 1 file changed, 1 deletion(-) 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 51387a99a481..db1ce3a4a2e6 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 @@ -292,7 +292,6 @@ public final class SettingsEditor extends AbstractEditor implements UiDataProvid right.add(BorderLayout.NORTH, myBanner); myBanner.setBorder(JBUI.Borders.empty(8, 5)); mySplitter.setDividerPositionStrategy(Splitter.DividerPositionStrategy.KEEP_FIRST_SIZE); - mySplitter.setHonorComponentsPreferredSize(true); add(BorderLayout.CENTER, createWrapperPanel(this, mySplitter)); } else { right.add(BorderLayout.NORTH, withHistoryToolbar(myBanner));