protected void ChangePressure(double new_value, PressureChanger changer)
        {
            if (!_PressureIsChanging)
            {
                _PressureIsChanging = true;
                StartChangingParameters();

                // Setting all editors to the value
                if (changer != PressureChanger.HScale)
                {
                    if (((CompressSharpStageOperationParameters)Parameters).Type == CompressSharpStageOperationParameters.SharpType.Sharp)
                    {
                        pressure_hscale.Value = new_value;
                    }
                    else
                    {
                        pressure_hscale.Value = new_value;
                    }
                }

                if (changer != PressureChanger.SpinButton)
                {
                    pressure_spinbutton.Value = new_value;
                }

                ((CompressSharpStageOperationParameters)Parameters).Pressure = new_value;
                EndChangingParameters();
                OnUserModified();
                _PressureIsChanging = false;
            }
        }
        protected void ChangePressure(double new_value, PressureChanger changer)
        {
            if (!_PressureIsChanging)
            {
                _PressureIsChanging = true;
                StartChangingParameters();

                // Setting all editors to the value
                if (changer != PressureChanger.HScale)
                {
                    if (((CompressSharpStageOperationParameters)Parameters).Type == CompressSharpStageOperationParameters.SharpType.Sharp)
                    {
                        pressure_hscale.Value = new_value;
                    }
                    else
                    {
                        pressure_hscale.Value = new_value;
                    }
                }

                if (changer != PressureChanger.SpinButton)
                    pressure_spinbutton.Value = new_value;

                ((CompressSharpStageOperationParameters)Parameters).Pressure = new_value;
                EndChangingParameters();
                OnUserModified();
                _PressureIsChanging = false;
            }
        }