6 Commits

Author	SHA1	Message	Date
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
per1234	bc365f4a8d	Correct minor typos in UI text and documentation	2022-01-17 02:16:36 -08: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	302fb7b6af	[ATL-1533] Firmware&Certificate Uploader (#469) ... Co-authored-by: Alberto Iannaccone <a.iannaccone@arduino.cc>	2021-08-25 10:36:51 +02:00