mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
e98285f900
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: #4228