Esempio n. 1
0
  /** Paint it. */
  public void paint(Graphics g) {
    Dimension d = getSize();
    if (!inited || buff == null || d.width != buffSize.width || d.height != buffSize.height) {
      buffSize.width = d.width;
      buffSize.height = d.height;
      buff = createImage(d.width + 4, d.height + 4);
      if (buff == null) return;
      buffG = buff.getGraphics();
      inited = true;
    }

    buffG.setColor(Color.lightGray);
    buffG.fillRect(0, 0, prefSize.width, prefSize.height);
    PressedRect(buffG, 0, 0, prefSize.width - 2, prefSize.height - 2);

    buffG.setColor(Color.lightGray);
    buffG.fillRect(0, 0, prefSize.width + 2, prefSize.height + 2);
    if (!gameover) if ((gameover = is_game_over())) end_game();
    for (int i = 0; i < rows; i++) {
      for (int j = 0; j < cols; j++) {
        drawBlock(buffG, i, j, status(i, j));
      }
    }
    // PressedRect(buffG,0,0,prefSize.width + 2,prefSize.height + 2);
    if (buff != null) g.drawImage(buff, 0, 0, null);
  }
Esempio n. 2
0
 public void restart(int rows, int cols, int nummines) {
   this.rows = rows;
   this.cols = cols;
   this.nummines = nummines;
   prefSize.width = cols * wt;
   prefSize.height = rows * ht;
   minerowlist = new int[nummines];
   minecollist = new int[nummines];
   restart();
 }
Esempio n. 3
0
 public Dimension getPreferredSize() {
   prefSize.width = 4 + cols * ht;
   prefSize.height = 4 + rows * ht;
   return prefSize;
 }