115 |
Component[] components = ((Container) awtComponent).getComponents(); |
Component[] components = ((Container) awtComponent).getComponents(); |
116 |
for (int i = 0; i < components.length; i++) |
for (int i = 0; i < components.length; i++) |
117 |
{ |
{ |
118 |
GtkComponentPeer peer = (GtkComponentPeer) components[i].getPeer(); |
if (components[i].isLightweight ()) |
119 |
if (peer != null && ! peer.awtComponent.isFontSet()) |
components[i].setFont (f); |
120 |
peer.setFont(f); |
else |
121 |
|
{ |
122 |
|
GtkComponentPeer peer = (GtkComponentPeer) components[i].getPeer(); |
123 |
|
if (peer != null && ! peer.awtComponent.isFontSet()) |
124 |
|
peer.setFont(f); |
125 |
|
} |
126 |
} |
} |
127 |
} |
} |
128 |
|
|