Francesco Spissu
6ae6ba5b3d
Add missing Advanced string ( #1104 )
2022-06-27 10:08:31 +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
dd76f9180c
Update Theia, CLI and LS ( #610 )
...
* Update Theia to 1.19.0
* update CLI to 0.20.0-rc3
* Add language selector to settings
* updated language server and vscode-arduino-tools
* update Language Server flags
* get cli port from config
* force native menu on windows
* pinned Language Server to rc2
* fix search icon
* update CLI version
2021-11-29 15:54:13 +01:00
Mark Sujew
11b75bd610
Translating Arduino-IDE using Theia's nls API ( #545 )
2021-10-18 09:59:33 +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
Francesco Stasi
562b77aec3
Add keymaps customization support
2021-03-26 15:33:38 +01:00
Akos Kitta
1f544b2656
ATL-546: Added UI for settings.
...
Signed-off-by: Akos Kitta <kittaakos@typefox.io >
2021-02-03 17:44:36 +01:00
Akos Kitta
3465407b5a
fixed too early disposal when hiding context menu
...
Signed-off-by: Akos Kitta <kittaakos@typefox.io >
2020-07-21 12:46:02 +02:00
Akos Kitta
bbf880d187
redesigned the settings menu group.
...
Signed-off-by: Akos Kitta <kittaakos@typefox.io >
2020-07-20 22:02:54 +02:00
