Akos Kitta
2a325a5b74
feat: cancelable verify+upload
...
Closes arduino/arduino-ide#1199
Signed-off-by: Akos Kitta <a.kitta@arduino.cc >
2024-02-20 13:38:52 +01:00
Akos Kitta
9a6a457bc4
chore(deps): Updated to Theia 1.39.0 ( #2144 )
...
- update Theia to `1.39.0`,
- remove the application packager and fix the security vulnerabilities,
- bundle the backed application with `webpack`, and
- enhance the developer docs.
Co-authored-by: Akos Kitta <a.kitta@arduino.cc >
Co-authored-by: per1234 <accounts@perglass.com >
Signed-off-by: Akos Kitta <a.kitta@arduino.cc >
2023-08-14 12:12:05 +02:00
Akos Kitta
2aad0e3b16
feat: new UX for the boards/library manager widgets
...
Closes #19
Closes #781
Closes #1591
Closes #1607
Closes #1697
Closes #1707
Closes #1924
Closes #1941
Signed-off-by: Akos Kitta <a.kitta@arduino.cc >
2023-03-15 16:17:05 +01:00
Francesco Spissu
2f5afe0d9c
Prevent layout shift on hover in libs/board manager ( #1568 )
2022-10-25 08:58:37 +02:00
Francesco Spissu
f3ef95cfe2
Retain installation interface using version menu ( #1471 )
2022-10-13 12:05:29 +02:00
Akos Kitta
5cb9166c83
Implemented filter and update all for libs/boards.
...
Closes #177
Closes #1188
Co-authored-by: Francesco Spissu <f.spissu@arduino.cc >
Co-authored-by: Per Tillisch <p.tillisch@arduino.cc >
Co-authored-by: Akos Kitta <a.kitta@arduino.cc >
Signed-off-by: Akos Kitta <a.kitta@arduino.cc >
2022-08-31 10:07:27 +02:00
Akos Kitta
4c55807392
Speed up IDE startup time.
...
Signed-off-by: Akos Kitta <a.kitta@arduino.cc >
2022-06-07 13:46:29 +02:00
Mark Sujew
1ae60ec9bc
Updated Theia to 1.25.0
...
Co-authored-by: Mark Sujew <mark.sujew@typefox.io >
Co-authored-by: Akos Kitta <a.kitta@arduino.cc >
Signed-off-by: Akos Kitta <a.kitta@arduino.cc >
2022-05-25 10:05:20 +02:00
Francesco Stasi
e10f0f1683
Make tab width 2 spaces ( #445 )
2021-07-09 10:14:42 +02:00
Francesco Stasi
0592199858
Use eslint&prettier for code linting&formatting
2021-06-22 10:58:18 +02:00
Akos Kitta
e8c3abd2ec
Resrtuctured browser code.
...
Signed-off-by: Akos Kitta <kittaakos@typefox.io >
2020-07-18 12:51:07 +02:00
