diff --git a/libs/gtkmm2ext/pixfader.cc b/libs/gtkmm2ext/pixfader.cc index 7a6357fa53..6f8eb32e78 100644 --- a/libs/gtkmm2ext/pixfader.cc +++ b/libs/gtkmm2ext/pixfader.cc @@ -342,12 +342,6 @@ PixFader::on_motion_notify_event (GdkEventMotion* ev) fract = -fract; } - std::cerr << "Motion tries to set adjustment to " - << adjustment.get_value() + scale * fract * (adjustment.get_upper() - adjustment.get_lower()) - << " val = " << adjustment.get_value() << " upper = " << adjustment.get_upper() << " lower = " << adjustment.get_lower() - << " fract = " << fract - << std::endl; - adjustment.set_value (adjustment.get_value() + scale * fract * (adjustment.get_upper() - adjustment.get_lower())); }