fix: flawed timing issue when opening editors#1649

Merged

kittaakos merged 2 commits intomainfrom #1612

Nov 11, 2022

+116-142

Commits on Nov 10, 2022

fix: flawed timing issue when opening editors
Akos Kitta
committed
fix: workaround for arduino/arduino-cli#1968
Akos Kitta
committed