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

support GUI form designer

Browse Source
This commit is contained in:
Gregory.Shrago
2019-03-12 02:59:25 +03:00
parent 534161259d
commit 8084eb3f3b
1 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/components/JBLoadingPanel.java
+11
View File
@@ -62,6 +62,17 @@ public class JBLoadingPanel extends JPanel {
super.add(myDecorator.getComponent(), BorderLayout.CENTER);
}
@Override
public void setLayout(LayoutManager mgr) {
if (!(mgr instanceof BorderLayout)) {
throw new IllegalArgumentException(String.valueOf(mgr));
}
super.setLayout(mgr);
if (myDecorator != null) {
super.add(myDecorator.getComponent(), BorderLayout.CENTER);
}
}
public static void customizeStatusText(JLabel text) {
Font font = text.getFont();
text.setFont(font.deriveFont(font.getStyle(), font.getSize() + 6));