jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-06-18 10:06:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
arduino-ide/arduino-ide-extension/src/browser
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
..
auth
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
boards
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
components
Updated Theia to 1.25.0
2022-05-25 10:05:20 +02:00
config
feat: rename, deletion, and validation support
2023-02-15 14:09:36 +01:00
contributions
fix: warn user when IDE cannot save the sketch
2023-06-09 12:11:31 +02:00
create
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
data
Updated themes (#1836)
2023-02-15 09:27:23 +01:00
dialogs
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
icons
feat: introduced cloud state in sketchbook view
2023-03-16 10:00:17 +01:00
ide-updater
Implemented filter and update all for libs/boards.
2022-08-31 10:07:27 +02:00
library
fix: remove setting unsafe innerHTML
2023-05-16 10:57:17 +02:00
local-cache
fix: do not exclude cloud sketch diagnostics
2023-05-05 14:15:42 +02:00
menu
feat: new UX for the boards/library manager widgets
2023-03-15 16:17:05 +01:00
serial
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
style
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
theia
fix: warn user when IDE cannot save the sketch
2023-06-09 12:11:31 +02:00
toolbar
Speed up IDE startup time.
2022-06-07 13:46:29 +02:00
utils
fix: remove setting unsafe innerHTML
2023-05-16 10:57:17 +02:00
widgets
fix: show no errors if users cancel lib install
2023-05-16 10:56:39 +02:00
app-service.ts
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
arduino-frontend-contribution.tsx
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
arduino-ide-frontend-module.ts
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
arduino-preferences.ts
chore: Switched to window.zoomLevel preference
2022-11-29 10:58:23 +01:00
dialog-service.ts
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
hosted-plugin-events.ts
Fixed LS stops working after OS sleep/wakeup cycle
2022-06-07 10:31:05 +02:00
monitor-manager-proxy-client-impl.ts
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
monitor-model.ts
chore: updated to Theia 1.37.0
2023-05-09 17:37:24 +02:00
notification-center.ts
fix: update Examples and Include Library menu after ZIP install
2023-01-11 09:23:23 +01:00
response-service-impl.ts
Update package index on 3rd party URLs change.
2022-07-08 09:04:10 +02:00
selectors.ts
Link compiler errors to editor.
2022-08-15 16:55:17 +02:00
sketches-service-client-impl.ts
feat: rename, deletion, and validation support
2023-02-15 14:09:36 +01:00
storage-wrapper.ts
Updated Theia to 1.25.0
2022-05-25 10:05:20 +02:00