home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.plaf.basic;
-
- import java.awt.Component;
- import java.awt.Dimension;
- import java.awt.Font;
-
- class BasicOptionPaneUI$4 extends Component {
- // $FF: synthetic field
- private final BasicOptionPaneUI this$0;
-
- BasicOptionPaneUI$4(BasicOptionPaneUI var1) {
- this.this$0 = var1;
- }
-
- public Dimension getPreferredSize() {
- Font var1 = ((Component)this).getFont();
- return var1 != null ? new Dimension(1, var1.getSize() + 2) : new Dimension(0, 0);
- }
- }
-