scrollSensitivity.setText( Integer.toString(Settings.scrollSensitivity ) );
scrollSensitivity.setText( Integer.toString(Settings.getScrollSensitivity() ) );
    public void show() {        minimapEnabled.setState( Settings.minimapEnabled );        autoEndFiring.setState( Settings.autoEndFiring );        nagForMASC.setState( Settings.nagForMASC );        nagForPSR.setState( Settings.nagForPSR );        nagForNoAction.setState( Settings.nagForNoAction );        animateMove.setState( Settings.showMoveStep );        showWrecks.setState( Settings.showWrecks );        soundMute.setState( Settings.soundMute );        showMapHexPopup.setState( Settings.showMapHexPopup );        tooltipDelay.setText( Integer.toString(Settings.tooltipDelay ) );        // Select the correct char set (give a nice default to start).        unitStartChar.select(0);        for ( int loop = 0; loop < unitStartChar.getItemCount(); loop++ ) {            if ( unitStartChar.getItem(loop).charAt(0) ==                 Settings.unitStartChar ) {                unitStartChar.select(loop);                break;            }        }        maxPathfinderTime.setText( Integer.toString(Settings.maxPathfinderTime ) );        rightDragScroll.setState( Settings.rightDragScroll );        ctlScroll.setState( Settings.ctlScroll );        clickEdgeScroll.setState( Settings.clickEdgeScroll );        autoEdgeScroll.setState( Settings.autoEdgeScroll );        scrollSensitivity.setText( Integer.toString(Settings.scrollSensitivity ) );        getFocus.setState( Settings.getFocus );        super.show();    }