From 0e9677a84a57033b60edf6c8616fcc3d337ca287 Mon Sep 17 00:00:00 2001 From: Kirill Kirichenko Date: Fri, 21 Jun 2019 12:14:45 +0300 Subject: [PATCH] IDEA-215788 Remove group headers: Registry GitOrigin-RevId: d54dc7279a4fa2a04abeb4f7405da7f51e108dc5 --- .../src/com/intellij/openapi/util/registry/RegistryUi.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/lang-impl/src/com/intellij/openapi/util/registry/RegistryUi.java b/platform/lang-impl/src/com/intellij/openapi/util/registry/RegistryUi.java index 09b2fac10676..0e3ce89d9256 100644 --- a/platform/lang-impl/src/com/intellij/openapi/util/registry/RegistryUi.java +++ b/platform/lang-impl/src/com/intellij/openapi/util/registry/RegistryUi.java @@ -92,7 +92,7 @@ public class RegistryUi implements Disposable { final JScrollPane label = ScrollPaneFactory.createScrollPane(myDescriptionLabel); final JPanel descriptionPanel = new JPanel(new BorderLayout()); descriptionPanel.add(label, BorderLayout.CENTER); - descriptionPanel.setBorder(IdeBorderFactory.createTitledBorder("Description", false)); + descriptionPanel.setBorder(IdeBorderFactory.createTitledBorder("Description:", false, JBUI.insetsTop(8)).setShowLine(false)); myContent.add(ScrollPaneFactory.createScrollPane(myTable), BorderLayout.CENTER); myContent.add(descriptionPanel, BorderLayout.SOUTH);