/**
* @return Set game options tab panel.
*/
@Override
protected JComponent[] getControllerParamComponents() {
SetOptions options = (SetOptions) controller_.getOptions();
initialNumCards_ =
new NumberInput(GameContext.getLabel("INITIAL_NUM_CARDS"), options.getInitialNumCardsShown(),
GameContext.getLabel("INITIAL_NUM_CARDS_TIP"), 8, 81, true);
initMultiControllerParamComponents(options);
return new JComponent[] {initialNumCards_, maxNumPlayers_, numRobotPlayers_};