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-142999 Settings window size is verys small by default

Browse Source
This commit is contained in:
Sergey Malenkov
2015-07-23 15:40:42 +03:00
parent 25d272715e
commit df1e9f196f
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
@@ -191,6 +191,7 @@ final class SettingsEditor extends AbstractEditor implements DataProvider {
mySettings.select(configurable);
}
};
myEditor.setPreferredSize(JBUI.size(800, 600));
myLoadingDecorator = new LoadingDecorator(myEditor, this, 10, true);
myBanner = new Banner(myEditor.getResetAction());
mySearchPanel.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));