/** メニュー->開く マップを開く */
public void openMap() {
fileChooser.addChoosableFileFilter(new MapFileFilter()); // ファイルフィルタ
fileChooser.setDialogType(JFileChooser.OPEN_DIALOG);
fileChooser.setDialogTitle("マップを開く");
int ret = fileChooser.showOpenDialog(null);
File mapFile;
if (ret == JFileChooser.APPROVE_OPTION) {
// もし開くボタンが押されたらそのマップファイルをロードする
mapFile = fileChooser.getSelectedFile();
mainPanel.loadMap(mapFile);
// パネルが大きくなったらスクロールバーを表示する
scrollPane.getViewport().revalidate();
scrollPane.getViewport().repaint();
}
}
