//Create the slider');
document.write('
JSlider framesPerSecond =
new JSlider(JSlider.
VERTICAL,
0,
30, FPS_INIT
);
');
document.write('framesPerSecond.
addChangeListener(new SliderListener
());
');
document.write('framesPerSecond.
setMajorTickSpacing(10);
');
document.write('framesPerSecond.
setPaintTicks(true);
');
document.write('
');
document.write('
//Create the label table');
document.write('
Hashtable labelTable =
new Hashtable();
');
document.write('labelTable.
put( new Integer( 0 ),
new JLabel("Stop") );
');
document.write('labelTable.
put( new Integer( 3 ),
new JLabel("Slow") );
');
document.write('labelTable.
put( new Integer( 30 ),
new JLabel("Fast") );
');
document.write('framesPerSecond.
setLabelTable( labelTable
);
');
document.write('
');
document.write('framesPerSecond.
setPaintLabels(true);
');
document.write('framesPerSecond.
setBorder(BorderFactory.
createEmptyBorder(0,
0,
0,
10));
');
document.write('