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-169924 tune spaces in breadcrumbs settings

Browse Source
This commit is contained in:
Sergey Malenkov
2017-05-19 20:57:49 +03:00
parent 34c2f5ca92
commit 5aa486defa
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
xml/impl/src/com/intellij/xml/breadcrumbs/BreadcrumbsConfigurable.java
+6 -6
View File
@@ -71,7 +71,7 @@ final class BreadcrumbsConfigurable implements Configurable {
}
}
}
JPanel boxes = new JPanel(new GridLayout(0, 3, JBUI.scale(20), 0));
JPanel boxes = new JPanel(new GridLayout(0, 3));
for (JCheckBox box : map.values()) boxes.add(box);
show = new JCheckBox(message("checkbox.show.breadcrumbs"));
@@ -85,22 +85,22 @@ final class BreadcrumbsConfigurable implements Configurable {
group.add(below);
placement = new JLabel(message("label.breadcrumbs.placement"));
placement.setBorder(JBUI.Borders.emptyRight(10));
placement.setBorder(JBUI.Borders.emptyRight(12));
JPanel placementPanel = new JPanel(new HorizontalLayout(0));
placementPanel.setBorder(JBUI.Borders.emptyLeft(20));
placementPanel.setBorder(JBUI.Borders.emptyLeft(24));
placementPanel.add(placement);
placementPanel.add(above);
placementPanel.add(below);
languages = new JLabel(message("label.breadcrumbs.languages"));
JPanel languagesPanel = new JPanel(new VerticalLayout(JBUI.scale(5)));
languagesPanel.setBorder(JBUI.Borders.emptyLeft(20));
JPanel languagesPanel = new JPanel(new VerticalLayout(JBUI.scale(6)));
languagesPanel.setBorder(JBUI.Borders.emptyLeft(24));
languagesPanel.add(languages);
languagesPanel.add(boxes);
component = new JPanel(new VerticalLayout(JBUI.scale(20), LEFT));
component = new JPanel(new VerticalLayout(JBUI.scale(12), LEFT));
component.add(show);
component.add(placementPanel);
component.add(languagesPanel);