The helpful folks on the gnome-accessibility mailing list found the cause. The kill() method calls set_sensitive on the button without entering threading. I updated my branch to add this, and another spot where threading needs to be invoked.
The helpful folks on the gnome-accessibility mailing list found the cause. The kill() method calls set_sensitive on the button without entering threading. I updated my branch to add this, and another spot where threading needs to be invoked.