Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove duplicate ctrl+alt+left/right handling
These key combinations were registered as accelerator keystrokes in the tab bar popup menu, but also handled by EditorListener. This was probably added in an attempt to work around the broken accelerator keys on the tab bar popup menus, but in practice this only meant that the shortcut would sometimes (and now that the accelerator keys are fixed, always) switch tabs *twice*. Removing the handling from EditorListener helps to fix this. References: arduino#4228
- Loading branch information