private JLabel statusBar;
private PuzzlePanel pp;
private Runtime runtime;
+ private String[] puzzle_args;
private Graphics2D gg;
private Timer timer;
private int xarg1, xarg2, xarg3;
runtimeCall("jcallback_timer_func", new int[0]);
}
});
+ String gameid;
+ try {
+ gameid = getParameter("game_id");
+ } catch (java.lang.NullPointerException ex) {
+ gameid = null;
+ }
+ if (gameid == null) {
+ puzzle_args = null;
+ } else {
+ puzzle_args = new String[2];
+ puzzle_args[0] = "puzzle";
+ puzzle_args[1] = gameid;
+ }
SwingUtilities.invokeLater(new Runnable() {
public void run() {
- runtime.start();
+ runtime.start(puzzle_args);
runtime.execute();
}
});
}
public void createBackBuffer(int w, int h, Color bg) {
- backBuffer = new BufferedImage(w,h, BufferedImage.TYPE_3BYTE_BGR);
- Graphics g = backBuffer.createGraphics();
- g.setColor(bg);
- g.fillRect(0, 0, w, h);
- g.dispose();
+ if (w > 0 && h > 0) {
+ backBuffer = new BufferedImage(w,h, BufferedImage.TYPE_3BYTE_BGR);
+ Graphics g = backBuffer.createGraphics();
+ g.setColor(bg);
+ g.fillRect(0, 0, w, h);
+ g.dispose();
+ }
}
protected void paintComponent(Graphics g) {