Beispiel #1
0
 /** 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();
 }
Beispiel #2
0
 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;
 }
Beispiel #3
0
 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);
   }
 }
Beispiel #4
0
 /** Closes the options. */
 public void closeOptions() {
   _optionsDialog.setVisible(false);
   _optionsDialog.dispose();
 }