Skip to content

Merge main into feature/remote-chat-lsp #5747

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
merged 6 commits into from
May 22, 2025

Conversation

aws-toolkit-automation
Copy link
Collaborator

Automatic merge failed

  • Resolve conflicts and push to this PR branch.
  • Do not squash-merge this PR. Use the "Create a merge commit" option to do a regular merge.

Command line hint

To perform the merge from the command line, you could do something like the following (where "origin" is the name of the remote in your local git repo):

git stash
git fetch --all
git checkout origin/feature/remote-chat-lsp
git merge origin/main
git commit
git push origin HEAD:refs/heads/autoMerge/feature/remote-chat-lsp

bryceitoc9 and others added 3 commits May 21, 2025 11:04
Use the JetBrains default font for the inline chat popup.
* Canonical with fonts in other popups (e.g find all, search everywhere), instead of editor font
* Supports full Unicode fonts in Windows
  * MacOS unaffected
… use IDE classes (#5742)

Reduce risk of loading classes from incorrect plugin classloader
@aws-toolkit-automation aws-toolkit-automation requested a review from a team as a code owner May 21, 2025 21:31
@rli rli requested review from a team as code owners May 22, 2025 00:00
Copy link

Qodana Community for JVM

It seems all right 👌

No new problems were found according to the checks applied

💡 Qodana analysis was run in the pull request mode: only the changed files were checked
☁️ View the detailed Qodana report

Contact Qodana team

Contact us at qodana-support@jetbrains.com

@rli rli merged commit a6f4103 into feature/remote-chat-lsp May 22, 2025
15 of 16 checks passed
@rli rli deleted the autoMerge/feature/remote-chat-lsp branch May 22, 2025 04:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants