64 |
|
|
65 |
static final int GDK_COPY = 0, GDK_XOR = 2; |
static final int GDK_COPY = 0, GDK_XOR = 2; |
66 |
|
|
67 |
native int[] initState (GtkComponentPeer component); |
native void initState (GtkComponentPeer component); |
68 |
native void initState (int width, int height); |
native void initState (int width, int height); |
69 |
native void copyState (GdkGraphics g); |
native void copyState (GdkGraphics g); |
70 |
|
|
84 |
initState (width, height); |
initState (width, height); |
85 |
color = Color.black; |
color = Color.black; |
86 |
clip = new Rectangle (0, 0, width, height); |
clip = new Rectangle (0, 0, width, height); |
87 |
font = new Font ("Dialog", Font.PLAIN, 10); |
font = new Font ("Dialog", Font.PLAIN, 12); |
88 |
} |
} |
89 |
|
|
90 |
GdkGraphics (GtkComponentPeer component) |
GdkGraphics (GtkComponentPeer component) |
91 |
{ |
{ |
92 |
this.component = component; |
this.component = component; |
93 |
int rgb[] = initState (component); |
initState (component); |
94 |
color = new Color (rgb[0], rgb[1], rgb[2]); |
color = component.awtComponent.getForeground (); |
95 |
font = component.awtComponent.getFont(); |
font = component.awtComponent.getFont (); |
96 |
Dimension d = component.awtComponent.getSize (); |
Dimension d = component.awtComponent.getSize (); |
97 |
clip = new Rectangle (0, 0, d.width, d.height); |
clip = new Rectangle (0, 0, d.width, d.height); |
98 |
} |
} |