Akos Kitta
ac9cce16f7
chore: Updated to Theia 1.31.1 ( #1662 )
...
Closes #1655
Closes #1656
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
2022-11-29 09:39:54 +01:00
Akos Kitta
6984c52b92
fix: Handle gracefully when trying to detect invalid sketch name error and folder is missing on filesystem ( #1616 )
...
- feat: generalized Node.js error handling
- Gracefully handle when the sketch folder has been deleted
- feat: spare detecting invalid sketch name error
- The invalid sketch name detection requires at least one extra FS access.
Do not try to detect the invalid sketch name error, but use the original
`NotFound` from the CLI.
- fix: typo
Closes #1596
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
2022-11-10 11:11:35 +01:00
Akos Kitta
5226636fed
Link compiler errors to editor.
...
Closes #118
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
2022-08-15 16:55:17 +02:00
David Simpson
0b0958c20e
change output buffer to setTimeout instead of setInterval ( #1123 )
...
* change output buffer to setTimeout
* remove unnec. code
* dispose buffer on end, not 'finally'
* revert core-service changes
* refactor, disposable pattern
* newline
2022-07-05 16:27:37 +02:00
Akos Kitta
4611381a38
Merged in #1074 .
...
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
2022-06-21 13:09:35 +02:00
Akos Kitta
d6f4096cd0
Reveal the error location after on failed verify.
...
Closes #608
Closes #229
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
2022-06-21 13:09:35 +02:00
David Simpson
a715da3d18
flush on clear output buffer ( #1074 )
2022-06-20 09:32:10 +02:00
David Simpson
4c6243176c
Output panel optimisation ( #1058 )
...
* test interval for output panel
* create buffer provider
* output panel buffer corrections
* output buffer cleanup
* code cleanup
2022-06-14 13:00:20 +02:00
