Skip to content

Conversation

@chagong
Copy link
Contributor

@chagong chagong commented Sep 28, 2025

Fix #1502

@chagong chagong merged commit 2c43add into main Sep 28, 2025
1 check passed
@chagong chagong deleted the chagon/fix branch September 28, 2025 03:09
@chagong chagong self-assigned this Oct 13, 2025
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.

Bug: can use up/down arrow key to change JDK runtime in project settings

3 participants