Fix #717 by only updating the name widget when necessary
[pulseview.git] / pv / widgets / timestampspinbox.hpp
2015-09-04 Jens SteinhauserAdd a spin box widget for timestamp values