8000 fix: prevent `OutputWidget` to gain focus when updated by giacomocusinato · Pull Request #2681 · arduino/arduino-ide · GitHub
[go: up one dir, main page]
Skip to content

fix: prevent OutputWidget to gain focus when updated#2681

Merged
davegarthsimpson merged 1 commit intomainfrom
fix-window-focus
Apr 3, 2025

Commits

Commits on Apr 3, 2025
0