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

IdeaTitledBorder. fix with updating UI

Browse Source
This commit is contained in:
Evgeny Zakrevsky
2011-09-01 23:18:15 +04:00
parent d92fe8cfac
commit 55a9c61513
1 changed files with 10 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/border/IdeaTitledBorder.java
+10 -6
View File
@@ -1,12 +1,11 @@
package com.intellij.ui.border;
import com.intellij.util.ui.UIUtil;
import com.intellij.util.xmlb.annotations.Text;
import sun.swing.SwingUtilities2;
import javax.swing.*;
import javax.swing.border.Border;
import javax.swing.border.EmptyBorder;
import javax.swing.border.TitledBorder;
import javax.swing.border.*;
import java.awt.*;
/**
@@ -42,14 +41,16 @@ public class IdeaTitledBorder extends TitledBorder {
this.titlePosition = TOP;
calculateInsets();
updateUI();
}
private void updateUI() {
this.titleFont = UIUtil.getBorderFont(smallFont ? UIUtil.FontSize.SMALL : UIUtil.FontSize.NORMAL, boldFont);
this.titleColor = UIUtil.getBorderTitleColor();
this.border = BorderFactory.createCompoundBorder(new EmptyBorder(outsideInsets),
BorderFactory.createCompoundBorder(
BorderFactory.createMatteBorder(1, 0, 0, 0, UIUtil.getTitledBorderColor()),
new EmptyBorder(insideInsets)));
this.titleFont = UIUtil.getBorderFont(smallFont ? UIUtil.FontSize.SMALL : UIUtil.FontSize.NORMAL, boldFont);
this.titleColor = UIUtil.getBorderTitleColor();
}
private void calculateInsets() {
@@ -79,6 +80,9 @@ public class IdeaTitledBorder extends TitledBorder {
@Override
public void paintBorder(Component c, Graphics g, int x, int y, int width, int height) {
updateUI();
g.setPaintMode();
Point textLoc = new Point();