I'm looking for an events that is fired when a user switches between different floating viewports. I would like to update a list of viewport names when the user switches to a different viewport. Does anyone know how to determine when the user changes focus to a different viewport?