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

Visual improvements for banner in the Settings dialog

Browse Source
This commit is contained in:
Sergey Malenkov
2014-09-29 13:07:31 +04:00
parent c01811d916
commit b859f6e65b
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsEditor.java
+1
View File
@@ -192,6 +192,7 @@ final class SettingsEditor extends AbstractEditor implements DataProvider {
}
};
myBanner = new Banner(myEditor.getResetAction());
myBanner.setBorder(BorderFactory.createEmptyBorder(0, 5, 0, 5));
JPanel panel = new JPanel(new BorderLayout(10, 10));
panel.add(BorderLayout.WEST, mySearch);