88 |
awtComponent.setBackground (getBackground ()); |
awtComponent.setBackground (getBackground ()); |
89 |
// if (c.getFont () == null) |
// if (c.getFont () == null) |
90 |
// c.setFont (cp.getFont ()); |
// c.setFont (cp.getFont ()); |
91 |
|
if (awtComponent.getFont() != null) |
92 |
|
setFont(awtComponent.getFont()); |
93 |
|
|
94 |
if (! (awtComponent instanceof Window)) |
if (! (awtComponent instanceof Window)) |
95 |
{ |
{ |
275 |
|
|
276 |
public void setFont (Font f) |
public void setFont (Font f) |
277 |
{ |
{ |
278 |
|
// FIXME: This should really affect the widget tree below me. |
279 |
|
// Currently this is only handled if the call is made directly on |
280 |
|
// a text widget, which implements setFont() itself. |
281 |
} |
} |
282 |
|
|
283 |
public void setForeground (Color c) |
public void setForeground (Color c) |
357 |
p = component.getPeer (); |
p = component.getPeer (); |
358 |
} while (p instanceof java.awt.peer.LightweightPeer); |
} while (p instanceof java.awt.peer.LightweightPeer); |
359 |
|
|
360 |
args.add ("parent", p); |
if (p != null) |
361 |
|
args.add ("parent", p); |
362 |
} |
} |
363 |
|
|
364 |
native void set (String name, String value); |
native void set (String name, String value); |