Fix #940 by updating the div spin boxes when needed
[pulseview.git] / icons / trigger-marker-high.svg
icons/trigger-marker-high.svg