fix: wait for theia initalWindow
to be set before opening sketch through open-file
event#2693
Merged
davegarthsimpson merged 2 commits intomainarduino/arduino-ide:mainfrom Apr 7, 2025