mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-18 12:54:25 +01:00
When the serial monitor window is focused again (not reopened but put in background and selected again) the text input field is now automatically focused. Fix #5810