keepGameLog.setSelected(cs.keepGameLog());
gameLogFilename.setEnabled(keepGameLog.isSelected());
gameLogFilename.setText(cs.getGameLogFilename());
// gameLogMaxSize.setEnabled(keepGameLog.isSelected());
// gameLogMaxSize.setText( Integer.toString(cs.getGameLogMaxSize()) );
stampFilenames.setSelected(cs.stampFilenames());
stampFormat.setEnabled(stampFilenames.isSelected());
stampFormat.setText(cs.getStampFormat());
defaultAutoejectDisabled.setSelected(cs.defaultAutoejectDisabled());
useAverageSkills.setSelected(cs.useAverageSkills());