63 |
import java.awt.event.KeyEvent; |
import java.awt.event.KeyEvent; |
64 |
import java.awt.event.MouseEvent; |
import java.awt.event.MouseEvent; |
65 |
import java.awt.event.PaintEvent; |
import java.awt.event.PaintEvent; |
66 |
|
import java.awt.image.BufferedImage; |
67 |
import java.awt.image.ColorModel; |
import java.awt.image.ColorModel; |
68 |
import java.awt.image.ImageObserver; |
import java.awt.image.ImageObserver; |
69 |
import java.awt.image.ImageProducer; |
import java.awt.image.ImageProducer; |
209 |
|
|
210 |
public Image createImage (int width, int height) |
public Image createImage (int width, int height) |
211 |
{ |
{ |
212 |
GtkImage image = new GtkImage (width, height); |
Image image; |
213 |
|
if (GtkToolkit.useGraphics2D ()) |
214 |
|
image = new BufferedImage (width, height, BufferedImage.TYPE_INT_RGB); |
215 |
|
else |
216 |
|
image = new GtkImage (width, height); |
217 |
|
|
218 |
Graphics g = image.getGraphics(); |
Graphics g = image.getGraphics(); |
219 |
g.setColor(getBackground()); |
g.setColor(getBackground()); |
220 |
g.fillRect(0, 0, width, height); |
g.fillRect(0, 0, width, height); |