Alberto Iannaccone
70f1c5f8ec
Add privacy policy menu item ( #883 )
2022-03-09 11:46:22 +01:00
Alberto Iannaccone
9e89964df2
remove dev tools menu item ( #882 )
2022-03-08 07:38:00 +00:00
Alberto Iannaccone
96b5edf427
fix IDE updater commands ( #872 )
...
* fix IDE updater commands
* reinitialise autoupdate when preferences change
* fix typo + add i18n strings
2022-03-01 16:34:43 +00: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
fc0f67493b
[ATL-1599] [ATL-1416] Upgrade Theia to 1.18.0 ( #489 )
...
Co-authored-by: Alberto Iannaccone <a.iannaccone@arduino.cc >
2021-10-06 13:55:55 +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
1742c53015
ATL-812: Enhanced the Help
menu.
...
Signed-off-by: Akos Kitta <kittaakos@typefox.io >
2021-01-26 14:07:07 +01:00