setMinMax(newMin, newMax);
setMin(newMin); setMax(newMax);
    private void setRange(int newMin, int newMax, int newBase, int newSubDiv) {ErrorMsg.reportStatus("ExpLevScrollBarWidget: Setting quadruple "+newMin+","+newMax+","+newBase+","+newSubDiv);    	setMinMax(newMin, newMax);	base = newBase; subDiv = newSubDiv;	setValue((newMin+newMax)/2);    }