Comment 2 for bug 40207

Thanks for your bug. That's know upstream: http://bugzilla.gnome.org/show_bug.cgi?id=333670

The issue is that the buttons are not updated correctly, you can enable or disable the programs to do what you want