* One of the sliders was moved.
*/
public void sliderChanged(int sliderIndex, String sliderName, double value) {
if (sliderName.equals(PHASE_ANGLE_SLIDER)) {
currentParams = new TravelerParams(value, currentParams.getMultiplier(), currentParams.getOffset());
algorithm_.setTravelerParams(currentParams);
updateFormulaText();
}
else if (sliderName.equals(MULTIPLIER_SLIDER)) {
currentParams = new TravelerParams(currentParams.getAngle(), value, currentParams.getOffset());
algorithm_.setTravelerParams(currentParams);
updateFormulaText();
}
else if (sliderName.equals(OFFSET_SLIDER)) {
currentParams = new TravelerParams(currentParams.getAngle(), currentParams.getMultiplier(), value);
algorithm_.setTravelerParams(currentParams);
updateFormulaText();
}
else if (sliderName.equals(ALPHA_SLIDER)) {
algorithm_.setAlpha((int) value);