/** メニュー->新規作成 新しいマップを作成する */
public void newMap() {
// マップサイズダイアログを開く
// rowとcolを設定
MapSizeDialog dialog = new MapSizeDialog(this);
dialog.setVisible(true);
// ｷｬﾝｾﾙボタンが押されたときは何もしない
if (!dialog.isOKPressed()) {
return;
}
// メインパネルに新しいマップを作成
mainPanel.initMap(row, col);
// パネルの大きさをマップの大きさと同じにする
// パネルが大きいときは自動的にスクロールバーが表示される
mainPanel.setPreferredSize(new Dimension(col * MainPanel.CHIP_SIZE, row * MainPanel.CHIP_SIZE));
// パネルが大きくなったらスクロールバーを表示する
scrollPane.getViewport().revalidate();
scrollPane.getViewport().repaint();
}
