private JSlider getPositionSlider() {
if ((flags & USE_POSITION_CONTROL) == 0)
return null;
if (positionSlider == null) {
positionSlider = USE_STANDARD_SLIDER ? new JSlider() : new CustomSlider();
positionSlider.setOpaque(false);
positionSlider.setValue(0);
positionSlider.setMinimum(0);
positionSlider.setMaximum(0);
positionSlider.setEnabled(false);