protected void ChangeSoftness(double new_value, SoftnessChanger changer)
        {
            if (!_SoftnessIsChanging)
            {
                _SoftnessIsChanging = true;
                StartChangingParameters();

                // Setting all editors to the value
                if (changer != SoftnessChanger.HScale)
                {
                    softness_hscale.Value = new_value;
                }

                if (changer != SoftnessChanger.SpinButton)
                {
                    softness_spinbutton.Value = new_value;
                }

                ((ToneStageOperationParameters)Parameters).Softness = new_value;

                EndChangingParameters();
                OnUserModified();
                _SoftnessIsChanging = false;
            }
        }
        protected void ChangeSoftness(double new_value, SoftnessChanger changer)
        {
            if (!_SoftnessIsChanging)
            {
                _SoftnessIsChanging = true;
                StartChangingParameters();

                // Setting all editors to the value
                if (changer != SoftnessChanger.HScale)
                    softness_hscale.Value = new_value;

                if (changer != SoftnessChanger.SpinButton)
                    softness_spinbutton.Value = new_value;

                ((HighlightStageOperationParameters)Parameters).Softness = new_value;
                EndChangingParameters();
                OnUserModified();
                _SoftnessIsChanging = false;
            }
        }