properties-window: fix execution switch behavior
Changes in GTK (gtk!5442 (merged))
require to use gtk_switch_set_active
to flip a switch, otherwise it
ends up in an inconsistent state.
Fixes #2883 (closed)
Changes in GTK (gtk!5442 (merged))
require to use gtk_switch_set_active
to flip a switch, otherwise it
ends up in an inconsistent state.
Fixes #2883 (closed)