Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

feat: use theia@1.57.0 #2654

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

Merged
giacomocusinato merged 18 commits into main from use-theia-latest
Mar 28, 2025
Merged

feat: use theia@1.57.0 #2654

giacomocusinato merged 18 commits into main from use-theia-latest
Mar 28, 2025

Conversation

Copy link
Collaborator

@giacomocusinato giacomocusinato commented Mar 11, 2025
edited
Loading

Motivation

Use theia@1.57.0.
Note that newer versions are currently not working because of ESM incompatibilty. See theia issue and Prototype ESM-only package workaround for unbundled back end

Change description

Based on #2362
The first commit includes all changes from #2363 rebased into main branch.

Main changes needed for upgrades after theia@1.46.1:

Other information

Know issues:

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)

@arduino arduino deleted a comment from CLAassistant Mar 11, 2025
@arduino arduino deleted a comment from CLAassistant Mar 11, 2025
@giacomocusinato giacomocusinato changed the title (削除) [WIP] Use theia@latest (削除ここまで) (追記) Use theia@latest (追記ここまで) Mar 19, 2025
@giacomocusinato giacomocusinato added topic: code Related to content of the project itself topic: theia Related to the Theia IDE framework phase: implementation Work is in the implementation phase labels Mar 19, 2025
@giacomocusinato giacomocusinato changed the title (削除) Use theia@latest (削除ここまで) (追記) feat: use theia@latest (追記ここまで) Mar 19, 2025
@giacomocusinato giacomocusinato force-pushed the use-theia-latest branch 5 times, most recently from 46637f4 to 8a4b727 Compare March 20, 2025 12:13
@giacomocusinato giacomocusinato changed the title (削除) feat: use theia@latest (削除ここまで) (追記) feat: use theia@1.57.0 (追記ここまで) Mar 20, 2025
@giacomocusinato giacomocusinato force-pushed the use-theia-latest branch 5 times, most recently from a69a4e5 to 3adbd1d Compare March 25, 2025 09:08
@giacomocusinato giacomocusinato marked this pull request as ready for review March 25, 2025 09:10
@giacomocusinato giacomocusinato added type: enhancement Proposed improvement and removed phase: implementation Work is in the implementation phase labels Mar 25, 2025
Copy link
Contributor

@dankeboy36 dankeboy36 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great work

giacomocusinato and davegarthsimpson reacted with heart emoji
"vscode-builtin-cpp": "https://open-vsx.org/api/vscode/cpp/1.52.1/file/vscode.cpp-1.52.1.vsix",
"vscode-arduino-api": "https://github.com/dankeboy36/vscode-arduino-api/releases/download/0.1.2/vscode-arduino-api-0.1.2.vsix",
"vscode-builtin-cpp": "https://open-vsx.org/api/vscode/cpp/1.88.1/file/vscode.cpp-1.88.1.vsix",
"vscode-arduino-api": "https://github.com/dankeboy36/vscode-arduino-api/releases/download/0.2.1/vscode-arduino-api-0.2.1.vsix",
Copy link
Contributor

@dankeboy36 dankeboy36 Mar 25, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
"vscode-arduino-api": "https://github.com/dankeboy36/vscode-arduino-api/releases/download/0.2.1/vscode-arduino-api-0.2.1.vsix",
"vscode-arduino-api": "https://github.com/dankeboy36/vscode-arduino-api/releases/download/0.1.2/vscode-arduino-api-0.1.2.vsix",

Thank you! However, it depends on your release plan. I would be happy to see the new API integrated into the IDE nightly, and everything should be compatible, but I can't guarantee anything. If any issues arise, I'm available to help resolve them, or you can revert to a previous version if needed.

Copy link
Collaborator Author

@giacomocusinato giacomocusinato Mar 27, 2025
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ideally we would merge this PR once ready and release next week after a weekend of nightly test.
I won't mind also postponing the vscode-arduino-api update to the release after this one, to allow for longer nightly testing

Copy link
Contributor

@dankeboy36 dankeboy36 Mar 27, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I propose reverting the changes for now, and after the IDE release, I will create a follow-up PR. Thank you!

giacomocusinato reacted with thumbs up emoji
Copy link
Contributor

dankeboy36 commented Mar 26, 2025
edited
Loading

The Theia update is supposed to fix #2148. It would make sense to verify if the CLI daemon can reconnect. The LS reconnection will fail. See here:

instance: 1, // TODO: get it from the backend

Update: I have not verified it, but I assume IDE has to create a new daemon instance on reconnect, therefore the instance number will change.

Remove `EditorCommandContribution` override, since https://redirect.github.com/eclipse-theia/theia/pull/13683 fixed the unwanted save on startup
Note: align SidebarBottomMenuWidget with Theia new API and HTML structure
Electron version is now pinned, so replace caret only if found
@giacomocusinato giacomocusinato merged commit 859d29d into main Mar 28, 2025
44 checks passed
@giacomocusinato giacomocusinato deleted the use-theia-latest branch March 28, 2025 16:33
@giacomocusinato giacomocusinato restored the use-theia-latest branch April 2, 2025 16:24
@per1234 per1234 deleted the use-theia-latest branch July 16, 2025 02:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@davegarthsimpson davegarthsimpson davegarthsimpson approved these changes

+2 more reviewers

@kittaakos kittaakos kittaakos left review comments

@dankeboy36 dankeboy36 dankeboy36 approved these changes

Reviewers whose approvals may not affect merge requirements
Assignees
No one assigned
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
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

AltStyle によって変換されたページ (->オリジナル) /