Call it `sensitive` as per the docs of `gtk_widget_set_sensitive`