|
|
@ -18,6 +18,7 @@ import java.awt.FontMetrics; |
|
|
|
import java.awt.Graphics; |
|
|
|
import java.awt.Graphics; |
|
|
|
import java.awt.Graphics2D; |
|
|
|
import java.awt.Graphics2D; |
|
|
|
import java.awt.Insets; |
|
|
|
import java.awt.Insets; |
|
|
|
|
|
|
|
import java.awt.RenderingHints; |
|
|
|
import java.awt.geom.AffineTransform; |
|
|
|
import java.awt.geom.AffineTransform; |
|
|
|
|
|
|
|
|
|
|
|
/** |
|
|
|
/** |
|
|
@ -100,6 +101,8 @@ public class FineHeaderPaneUI extends PanelUI implements AnimatedPainter { |
|
|
|
+ FineUIScale.scale(UIManager.getInt("ExpandablePane.HeaderPane.hGap")); |
|
|
|
+ FineUIScale.scale(UIManager.getInt("ExpandablePane.HeaderPane.hGap")); |
|
|
|
float titleY = (headerPane.getHeight() - (ascent + descent)) / 2.0f + ascent; |
|
|
|
float titleY = (headerPane.getHeight() - (ascent + descent)) / 2.0f + ascent; |
|
|
|
FlatUIUtils.setRenderingHints(g2d); |
|
|
|
FlatUIUtils.setRenderingHints(g2d); |
|
|
|
|
|
|
|
g2d.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_LCD_HRGB); |
|
|
|
|
|
|
|
|
|
|
|
g2d.drawString(headerPane.getTitle(), titleX, titleY); |
|
|
|
g2d.drawString(headerPane.getTitle(), titleX, titleY); |
|
|
|
g2d.dispose(); |
|
|
|
g2d.dispose(); |
|
|
|
} |
|
|
|
} |
|
|
|