Akos Kitta 39ab836880 fix: let the resource finish all write operation ...

before checking if it's in sync or not.

Closes #437

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>

2023-03-28 18:55:31 +02:00

..

core

feat: introduced cloud state in sketchbook view

2023-03-16 10:00:17 +01:00

debug

feat: rename, deletion, and validation support

2023-02-15 14:09:36 +01:00

dialogs

chore: Updated to Theia 1.31.1 (#1662)

2022-11-29 09:39:54 +01:00

editor

feat: rename, deletion, and validation support

2023-02-15 14:09:36 +01:00

filesystem

fix: let the resource finish all write operation

2023-03-28 18:55:31 +02:00

keymaps

Speed up IDE startup time.

2022-06-07 13:46:29 +02:00

markers

feat: configure sketchbook location without restart

2022-12-21 15:44:10 +01:00

messages

feat: introduced cloud state in sketchbook view

2023-03-16 10:00:17 +01:00

monaco

feat: rename, deletion, and validation support

2023-02-15 14:09:36 +01:00

navigator

Speed up IDE startup time.

2022-06-07 13:46:29 +02:00

outline

Speed up IDE startup time.

2022-06-07 13:46:29 +02:00

output

Fixed highlighting of non-unicode chars in Output

2022-08-31 21:16:07 +02:00

plugin-ext

feat: patched the Theia debug functionality

2022-12-01 11:43:25 +01:00

preferences

Implemented filter and update all for libs/boards.

2022-08-31 10:07:27 +02:00

scm

Speed up IDE startup time.

2022-06-07 13:46:29 +02:00

search-in-workspace

Fixed missing translations

2022-09-26 10:49:31 +02:00

typehierarchy

chore: Updated to Theia 1.31.1 (#1662)

2022-11-29 09:39:54 +01:00

workspace

feat: rename, deletion, and validation support

2023-02-15 14:09:36 +01:00