arduino-ide

mirror of https://github.com/arduino/arduino-ide.git synced 2025-06-22 20:16:33 +00:00

History

Francesco Stasi dd76f9180c

* 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

download-cli.js

ATL-658: IDE can use any pinned version of CLI.

2020-11-06 10:20:52 +01:00

download-examples.js

Use latest release of built-in examples

2021-05-18 17:04:38 -07:00

download-fwuploader.js

[ATL-1539] Integrate FWUploader into IDE2 (#466 )

2021-07-28 16:42:38 +02:00

download-ls.js

Update Theia, CLI and LS (#610 )