eclipse-platform / eclipse.platform.resources

Eclipse Public License 2.0
3 stars 18 forks source link

Add preference to change severity for missing project specific encoding #167

Closed ingomohr closed 2 years ago

ingomohr commented 2 years ago

Introduces a new preference that enables to specify if and using which severity markers shall be added in case of missing project-specific encoding settings.

This is the PR of the fork for issue #166

Todo

Here's what I did

Change

Manual Integration Test

Thank you in advance for having a look at the PR!

Kind regards Ingo

trancexpress commented 2 years ago

I'm not sure I fully understand you here. I never heard of plug-in customization for preferences before. I updated the commit message (I hope) accordingly.

Commit message is fine now.

The plug-in customization file (can be passed with the mentioned argument) contains preferences that you would like Eclipse to set on "start-up". The preference values in the file act as defaults and can still be changed by the user. See e.g.: https://www.eclipse.org/eclipse/platform-core/documents/user_settings/plugin_customization.html

ingomohr commented 2 years ago

I'm not sure I fully understand you here. I never heard of plug-in customization for preferences before. I updated the commit message (I hope) accordingly.

Commit message is fine now.

The plug-in customization file (can be passed with the mentioned argument) contains preferences that you would like Eclipse to set on "start-up". The preference values in the file act as defaults and can still be changed by the user. See e.g.: https://www.eclipse.org/eclipse/platform-core/documents/user_settings/plugin_customization.html

Thanks for the info! We certainly can use that learning with our Eclipse-based products, too. :)

eclipse-releng-bot commented 2 years ago

The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-167/19/

ingomohr commented 2 years ago

@trancexpress I think I resolved/answered all your feedback now. (The PR's readability starts to become a little bit complicated ;) ). This is just the info for you that I don't have any local changes left that I plan to push.

trancexpress commented 2 years ago

Can be merged from my POV, with the respective change in platform UI.

ingomohr commented 2 years ago

Can be merged from my POV, with the respective change in platform UI.

Thanks for your feedback! Appreciate it.

merks commented 2 years ago

@iloveeclipse Have all your change requests been addressed?

iloveeclipse commented 2 years ago

@iloveeclipse Have all your change requests been addressed?

Yes, thanks.

But I'm already working on the 16th (yes, 16th) Pull Request build for this feature

So what? I've seen reviews with over 50 rounds or three years. Only the sky is the limit:-)

ingomohr commented 2 years ago

@merks @laeubi @iloveeclipse @trancexpress Thank you all for your feedback and the discussions!

Even though this felt like "quite a ride" (maybe not only to me), I think we added some nice value here.

And maybe future contributions will go a little bit smoother, too. 😊