Fix #807 by disabling trigger widgets when session is not stopped
[pulseview.git] / pv / views / trace / marginwidget.hpp
2017-06-10 Soeren ApelMove trace view files