Improve the UX of the Arduino language server#1255

Merged

kittaakos merged 3 commits intomainfrom

Aug 1, 2022

Commits on Aug 1, 2022

#714: UX improvements of the Arduino LS in IDE2
Akos Kitta
committed
#1191: fixed default sketchbook URI for _save as_
Akos Kitta
committed
#1191: resolve temp path if copying/cloning sketch
Akos Kitta
committed