107 |
if (Configuration.INIT_LOAD_LIBRARY) |
if (Configuration.INIT_LOAD_LIBRARY) |
108 |
System.loadLibrary("gtkpeer"); |
System.loadLibrary("gtkpeer"); |
109 |
|
|
110 |
initStaticState(); |
if (GtkToolkit.useGraphics2D ()) |
111 |
|
initStaticState(); |
112 |
|
else |
113 |
|
{ |
114 |
|
System.err.println ("Attempted to instantiate GdkGraphics2D but Graphics2D not enabled. Try again with -Dgnu.java.awt.peer.gtk.Graphics=Graphics2D"); |
115 |
|
System.exit (1); |
116 |
|
} |
117 |
} |
} |
118 |
|
|
119 |
static native void initStaticState(); |
static native void initStaticState(); |
998 |
if (clip == null) |
if (clip == null) |
999 |
{ |
{ |
1000 |
// Reset clipping. |
// Reset clipping. |
1001 |
Dimension d = component.awtComponent.getSize(); |
if (component != null) |
1002 |
setClip(0, 0, d.width, d.height); |
{ |
1003 |
|
Dimension d = component.awtComponent.getSize(); |
1004 |
|
setClip(0, 0, d.width, d.height); |
1005 |
|
} |
1006 |
} |
} |
1007 |
else |
else |
1008 |
{ |
{ |