282283284285286287288289290291292
public void saveCurrent() { MazeInfo mi = (MazeInfo) mOpenMazes.getList().getSelectedValue(); if (mi != null) { mi = mi.saveMaze(); mOpenMazes.getList().setSelectedValue(mi, true); } } /**
453454455456457458459460461462463
"\"", "Save Maze?", JOptionPane.YES_NO_OPTION, JOptionPane.QUESTION_MESSAGE); if (result == JOptionPane.YES_OPTION) mi.saveMaze(); else if (result != JOptionPane.NO_OPTION) return false; // Abort exit if canceled. } } return true;