GlobalSettings: Enable mouse hover marker by default
[pulseview.git] / manual / images / top_bar.png
2018-09-05 Soeren ApelManual: Initial revision