Fix #770 by adding a vertical hover line and a setting for it
[pulseview.git] / pv / widgets / colorbutton.cpp
2018-04-15 Soeren ApelRename colour* to color*