}
@Override
protected void ok() {
TwoPlayerController c = get2PlayerController();
IRectangularBoard board = (IRectangularBoard) board_;
if (board != null && gridParamPanel_!= null) {
board.setSize(gridParamPanel_.getRowSize(), gridParamPanel_.getColSize());
}
PlayerList players = c.getPlayers();
if (optimizationCheckbox_.isSelected())
{
players.getPlayer1().setHuman(false);
players.getPlayer2().setHuman(false);
c.getTwoPlayerOptions().setAutoOptimize(true);
}
else {
playersPanel_.ok();
}
if (board != null && gridParamPanel_ != null) {
board.setSize( gridParamPanel_.getRowSize(), gridParamPanel_.getColSize() );
}
super.ok();
}