Skip to content

Allow Eclipse project-specific settings to be merged #444

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

Open
wilkinsona opened this issue Jun 3, 2025 · 0 comments
Open

Allow Eclipse project-specific settings to be merged #444

wilkinsona opened this issue Jun 3, 2025 · 0 comments

Comments

@wilkinsona
Copy link
Contributor

The Eclipse plugin allows custom project-specific settings to be provided. I'd like to customise a single setting (org.eclipse.jdt.ui.importorder in org.eclipse.jdt.ui.prefs) to align with configuring Checkstyle with a custom project root package. However, any custom settings file is used instead of the plugin's default org.eclipse.jdt.core.prefs and org.eclipse.jdt.ui.prefs files so I have to copy the plugin's defaults and modify them as needed. This has to be redone each time the plugin is upgraded to avoid missing changes to the defaults.

I'd like to be able to provide an Eclipse settings file that is merged on to the plugin's defaults. This should make it easier to use the plugin's defaults across upgrades and also make it clear exactly which settings are being customised.

@wilkinsona wilkinsona added this to the 0.0.x milestone Jun 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant