jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-15 21:29:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
d79bc0d083c40b3244264696d2d6703756a8bd53
arduino-ide/arduino-ide-extension/src
History
Akos Kitta 8f8b46fa6f fix: warn user when IDE cannot save the sketch 
Happens when the IDE2 backend process crashes, and the communication
drops between the client and the server.

Closes #2081

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
2023-06-09 12:11:31 +02:00
..
browser
fix: warn user when IDE cannot save the sketch
2023-06-09 12:11:31 +02:00
common
fix: removed unsafe shell when executing process
2023-06-06 11:39:37 +02:00
electron-browser
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
electron-common
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
electron-main
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
node
fix: omit port from upload request when not set
2023-06-06 19:40:03 +02:00
test
fix: warn user when IDE cannot save the sketch
2023-06-09 12:11:31 +02:00