mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-30 19:52:13 +01:00
0bceb93b7c
This allows the use-case with users editing one sketch at a time, that seems to be the most common scenario: 1. User position the editor as desired 2. User close the IDE 3. User opens the IDE by double clicking on another .ino file 4. The IDE is opened again at the same position See #4432