$ 0 0 on_event_triggered() is renamed to on_event_triggered_quit() as we will shortly introduce a variant that does not quit.