/** Sets the options. */
public void setOptions() {
_optionsDialog.setVisible(false);
_gameOptions.put("brickCount", _optionsDialog.getBrickCount());
_gameOptions.put("hitsToRemoveBrick", _optionsDialog.getHitsToRemoveBrick());
_gameOptions.put("ballsPerLevel", _optionsDialog.getBallsPerLevel());
_gameOptions.put("nextLevelSpeedJump", _optionsDialog.getLevelSpeedup());
resetGame();
repaint();
}
protected OptionsDialog setupOptionsDialog() {
OptionsDialog optionsDialog = new OptionsDialog((Frame) getWorkspace().getTopLevelAncestor());
optionsDialog.addOptionsPage(new ModeOptionsPage(getOptions()), "Mode");
optionsDialog.addOptionsPage(
new LayoutDirectionOptionsPage(
assertedGraphComponent.getController(), inferredGraphComponent.getController()),
"Layout");
optionsDialog.addOptionsPage(new GlobalOptionsPage(getOWLEditorKit()), "Global");
// optionsDialog.addOptionsPage(new DisplayOptionsPage(), "Display
// Options");
// optionsDialog.addOptionsPage(new UIOptionsPage(), "UI Options");
return optionsDialog;
}
protected void onOptions() {
if (JOptionPane.showConfirmDialog(
new JFrame(),
"This will reset any current games. Continue?",
"Options Change",
JOptionPane.YES_NO_OPTION)
== JOptionPane.YES_OPTION) {
_optionsDialog = new OptionsDialog(this);
_optionsDialog.setVisible(true);
}
}
/** Closes the options. */
public void closeOptions() {
_optionsDialog.setVisible(false);
_optionsDialog.dispose();
}