clickEdgeScroll.setSelected(gs.getClickEdgeScroll());
alwaysRightClickScroll.setSelected(gs.getAlwaysRightClickScroll());
autoEdgeScroll.setSelected(gs.getAutoEdgeScroll());
scrollSensitivity.setText(Integer.toString(gs.getScrollSensitivity()));
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());