jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-10-12 21:08:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,418 Commits 27 Branches 52 Tags
77136687d374dce1660191059427f1941f4cef16
Commit Graph

7 Commits

Author SHA1 Message Date
Akos Kitta
8a5dee9307 chore: format resources 💄 
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
 2023-09-26 10:06:47 +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
01ef138d9a ATL-551: Removed the _Advanced Mode_ toggle. 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
 2021-02-11 09:59:46 +01:00
Akos Kitta
a74b159366 renamed customization folder to theia. 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
 2020-07-18 21:09:08 +02:00