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
These key combinations were registered as accelerator keystrokes in the
tab bar popup menu, but also handled by EditorListener, so they would
switch tabs *twice*. Removing the handling from EditorListener helps to
fix this.
References: arduino#4228
0 commit comments