Fix #807 by disabling trigger widgets when session is not stopped
authorSoeren Apel <soeren@apelpie.net>
Sat, 2 Jun 2018 20:12:36 +0000 (22:12 +0200)
committerUwe Hermann <uwe@hermann-uwe.de>
Sun, 3 Jun 2018 17:02:28 +0000 (19:02 +0200)

No differences found