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

Document jdk.hints.preferences file format #326

Open
kalaracey opened this issue Nov 11, 2024 · 2 comments
Open

Document jdk.hints.preferences file format #326

kalaracey opened this issue Nov 11, 2024 · 2 comments
Labels
Settings/Config If there are missing setting or configaration triage

Comments

@kalaracey
Copy link

The extension description includes the following section:

Hints Preferences

Easily update default hint preferences by adjusting a simple configuration option to tailor hint preferences to specific needs.

Go to VSCode View | Command Palette | Preferences:Open User Settings | Extensions | Java and set Jdk › Hints: Preferences: option to the xml hint preferences file.

Note that there is no documentation of what this file or its format is. I think what is missing is a link to a Wiki page similar to the link in the Formatting Preferences section to the Java Formatting Preferences Wiki page.

See also: #239

@kalaracey
Copy link
Author

I think this is the right place:

Screenshot 2024-11-11 at 4 02 30 PM

And then export.

@Achal1607
Copy link
Member

Hey @kalaracey, thanks for pointing this out. We would add a wiki for hints preferences setting as well.

@Achal1607 Achal1607 added the Settings/Config If there are missing setting or configaration label Nov 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Settings/Config If there are missing setting or configaration triage
Projects
None yet
Development

No branches or pull requests

2 participants