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-131335 Decrease a space between the banner and the configurable body

Browse Source
This commit is contained in:
Sergey Malenkov
2014-10-16 12:58:51 +04:00
parent 53139b373f
commit 885225f3c0
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsEditor.java
+2 -2
View File
@@ -171,14 +171,14 @@ final class SettingsEditor extends AbstractEditor implements DataProvider {
}
};
myBanner = new Banner(myEditor.getResetAction());
myBanner.setBorder(BorderFactory.createEmptyBorder(0, 10, 0, 10));
myBanner.setBorder(BorderFactory.createEmptyBorder(5, 10, 0, 10));
mySearch.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
mySearch.setBackground(myTreeView.myTree.getBackground());
mySearch.addComponentListener(new ComponentAdapter() {
@Override
public void componentResized(ComponentEvent event) {
Dimension size = myBanner.getPreferredSize();
size.height = mySearch.getHeight();
size.height = mySearch.getHeight() - 5;
myBanner.setPreferredSize(size);
myBanner.setSize(size);
myBanner.revalidate();