/** * 拡大用関数 * Graphics g * Image image 拡大する画像 * int dx, dy 描画先座標 * int scaled 拡大率 * int sx, sy 描画元座標 * int width, height 描画元サイズ */ private void drawScaledImage1(Graphics g, Image image, int dx, int dy, int scaled, int sx, int sy, int width, int height) { int w = width * scaled; int h = height * scaled; int[] pixels = new int[width*height]; int[] scaled_pixels = new int[w*h]; image.getRGB(pixels, 0