Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update Theia, CLI and LS #610

Merged
merged 14 commits into from
Nov 29, 2021
Merged

Update Theia, CLI and LS #610

merged 14 commits into from
Nov 29, 2021

Conversation

fstasi
Copy link
Contributor

@fstasi fstasi commented Nov 16, 2021

  • update theia to 1.19.0 in order to leverage theia core translations offered by vscode language packs
  • update CLI to 0.20.0
  • update Language Server to 0.5.0-rc2
  • add a language selector in the preference pane to allow users to select their language of choice among those available as vscode language packs

@fstasi fstasi requested a review from AlbyIanna November 16, 2021 14:19
@per1234 per1234 added the topic: theia Related to the Theia IDE framework label Nov 16, 2021
@fstasi fstasi changed the title Update to Theia 1.19 Update Theia to 1.19 and CLI to 0.20.0-rc3 Nov 23, 2021
# Conflicts:
#	arduino-ide-extension/package.json
#	arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts
#	arduino-ide-extension/src/browser/monitor/monitor-connection.ts
#	arduino-ide-extension/src/browser/serial/monitor/monitor-view-contribution.tsx
#	arduino-ide-extension/src/browser/serial/monitor/monitor-widget.tsx
#	arduino-ide-extension/src/test/browser/boards-auto-installer.test.ts
# Conflicts:
#	arduino-ide-extension/src/browser/boards/boards-config.tsx
# Conflicts:
#	arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts
#	arduino-ide-extension/src/browser/contributions/upload-sketch.ts
@fstasi fstasi changed the title Update Theia to 1.19 and CLI to 0.20.0-rc3 Update Theia, CLI and LS Nov 25, 2021
# Conflicts:
#	arduino-ide-extension/src/browser/dialogs/settings/settings-component.tsx
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: code Related to content of the project itself topic: theia Related to the Theia IDE framework
Projects
None yet
3 participants