public void imageFill(int x, int y, int w, int h, Color c)
{
int iw = image.getWidth();
int off = x + iw * y;
iw -= w;
int rgb = 0xFF000000 | c.toRGB();
for (int j = 0, index = 0; j < h; j++, off += iw)
for (int i = 0; i < w; i++, index++, off++)
pixels[off] = rgb;
}
