gtk.event_controller_focus.EventControllerFocus is an event controller to keep track of keyboard focus.