diff --git a/platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java b/platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java index dd763fa43583..6969bf0a6221 100644 --- a/platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java +++ b/platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java @@ -1228,7 +1228,7 @@ public class OptionsEditor extends JPanel implements DataProvider, Place.Navigat return null; // description is not set } if (searchable instanceof Configurable.Composite) { - box.add(Box.createVerticalStrut(10)); + box.add(Box.createVerticalStrut(9)); Configurable.Composite composite = (Configurable.Composite)searchable; for (final Configurable configurable : composite.getConfigurables()) { LinkLabel label = new LinkLabel(configurable.getDisplayName(), null) { @@ -1237,7 +1237,7 @@ public class OptionsEditor extends JPanel implements DataProvider, Place.Navigat select(configurable, null); } }; - label.setBorder(BorderFactory.createEmptyBorder(1, 17, 2, 2)); + label.setBorder(BorderFactory.createEmptyBorder(1, 17, 1, 1)); box.add(label); } }