You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently we just assume there's a certain time between when the switch is requested by the program and when the switch actually happens; but would be nicer to use a short-lived subscription to some event (focus change?) to make this delay as short as possible, but possibly longer if the system is really swamped
The text was updated successfully, but these errors were encountered:
Currently we just assume there's a certain time between when the switch is requested by the program and when the switch actually happens; but would be nicer to use a short-lived subscription to some event (focus change?) to make this delay as short as possible, but possibly longer if the system is really swamped
The text was updated successfully, but these errors were encountered: