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

chore: use theia@1.46.1 #2362

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

chore: use theia@1.46.1 #2362

wants to merge 1 commit into from

Conversation

kittaakos
Copy link
Contributor

@kittaakos kittaakos commented Feb 9, 2024

Motivation

  • use @theia/core@1.46.1 APIs,
  • remove unused survey service and the corresponding arduino.survey.notification setting, and
  • update language translation VSIX versions to VS Code compatibility (supported by Theia IDE).

Change description

Other information

Reviewer checklist

  • PR addresses a single concern.
  • The PR has no duplicates (please search among the Pull Requests before creating one)
  • PR title and description are properly filled.
  • Docs have been added / updated (for bug fixes / features)

@kittaakos kittaakos added type: enhancement Proposed improvement topic: code Related to content of the project itself topic: theia Related to the Theia IDE framework labels Feb 9, 2024
@kittaakos kittaakos force-pushed the use-theia-1.46.1 branch 2 times, most recently from ed57710 to 167c3bd Compare February 23, 2024 09:14
Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
@CLAassistant
Copy link

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.


Akos Kitta seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
You have signed the CLA already but the status is still pending? Let us recheck it.

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 type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants