mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-31 20:52:13 +01:00
0764eb7b19
Instead of letting Sketch (also) keep track of the currently selected tab, this moves the responsibility to Editor instead. When Sketch need to know the current tab and file, it now asks Editor. Switching between tabs is still handled through Sketch methods, but that will be cleaned up later.