From: Soeren Apel Date: Sat, 2 Jun 2018 20:12:36 +0000 (+0200) Subject: Fix #807 by disabling trigger widgets when session is not stopped X-Git-Url: http://git.code-monkey.de/?a=commitdiff_plain;h=f02b6a98dc19c0c076760239e6a394fb370a24ef;hp=f02b6a98dc19c0c076760239e6a394fb370a24ef;p=pulseview.git Fix #807 by disabling trigger widgets when session is not stopped ---