62 |
static final int TEXT_METRICS_HEIGHT = 3; |
static final int TEXT_METRICS_HEIGHT = 3; |
63 |
static final int TEXT_METRICS_X_ADVANCE = 4; |
static final int TEXT_METRICS_X_ADVANCE = 4; |
64 |
static final int TEXT_METRICS_Y_ADVANCE = 5; |
static final int TEXT_METRICS_Y_ADVANCE = 5; |
65 |
|
|
|
|
|
66 |
public GdkFontMetrics (Font font) |
public GdkFontMetrics (Font font) |
67 |
{ |
{ |
68 |
super (font.getPeer() instanceof GdkFontPeer |
super ((font == null) |
69 |
|
? new Font("Dialog", Font.PLAIN, 12) |
70 |
|
: font.getPeer() instanceof GdkFontPeer |
71 |
? font |
? font |
72 |
: ((ClasspathToolkit)(Toolkit.getDefaultToolkit ())) |
: ((ClasspathToolkit)(Toolkit.getDefaultToolkit ())) |
73 |
.getFont (font.getName(), font.getAttributes ())); |
.getFont (font.getName(), font.getAttributes ())); |
74 |
|
|
75 |
peer = (GdkFontPeer) this.font.getPeer(); |
peer = (GdkFontPeer) this.font.getPeer(); |
76 |
|
|