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

IDEA-231353: Fix insets in the Settings dialog

Browse Source 
GitOrigin-RevId: 1a7d2e509ad5a49106bc4f9d9ff62a6692821651
This commit is contained in:
Sergey Malenkov
2020-01-28 23:34:13 +00:00
committed by intellij-monorepo-bot
parent 3a48ccf804
commit ce6f999e0d
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/options/ex/ConfigurableCardPanel.java
+1 -1
View File
@@ -124,7 +124,7 @@ public class ConfigurableCardPanel extends CardLayoutPanel<Configurable, Configu
panel.add(BorderLayout.CENTER, component);
component = panel;
}
component.setBorder(JBUI.Borders.empty(5, 10, 10, 10));
component.setBorder(JBUI.Borders.empty(5, 16, 16, 16));
}
if (ConfigurableWrapper.cast(Configurable.NoScroll.class, configurable) == null) {
JScrollPane scroll = ScrollPaneFactory.createScrollPane(null, true);
platform/platform-impl/src/com/intellij/openapi/options/newEditor/ConfigurableEditor.java
+1 -1
View File
@@ -282,7 +282,7 @@ class ConfigurableEditor extends AbstractEditor implements AnActionListener, AWT
private JComponent createDefaultContent(Configurable configurable) {
JComponent content = new JPanel(new BorderLayout());
content.setBorder(JBUI.Borders.empty(10));
content.setBorder(JBUI.Borders.empty(5, 16, 16, 16));
String key = configurable == null ? null : ConfigurableVisitor.getId(configurable) + ".settings.description";
String description = key == null ? null : getString(configurable, key);
if (description == null) {
platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsEditor.java
+2 -2
View File
@@ -209,8 +209,8 @@ final class SettingsEditor extends AbstractEditor implements DataProvider {
myEditor.setPreferredSize(JBUI.size(800, 600));
myLoadingDecorator = new LoadingDecorator(myEditor, this, 10, true);
myBanner = new Banner(myEditor.getResetAction());
searchPanel.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
myBanner.setBorder(BorderFactory.createEmptyBorder(5, 0, 0, 10));
searchPanel.setBorder(JBUI.Borders.empty(7, 5, 6, 5));
myBanner.setBorder(JBUI.Borders.empty(5, 3, 0, 10)); // because banner sets doubled left value
mySearch.setBackground(UIUtil.SIDE_PANEL_BACKGROUND);
searchPanel.setBackground(UIUtil.SIDE_PANEL_BACKGROUND);
JComponent left = new JPanel(new BorderLayout());