MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-215788 Remove group headers: Registry

Browse Source 
GitOrigin-RevId: d54dc7279a4fa2a04abeb4f7405da7f51e108dc5
This commit is contained in:
Kirill Kirichenko
2019-07-02 06:52:16 +03:00
committed by intellij-monorepo-bot
parent 10312c337b
commit 0e9677a84a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/openapi/util/registry/RegistryUi.java
+1 -1
View File
@@ -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);