-
Notifications
You must be signed in to change notification settings - Fork 0
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
Use default preferences to choose merge strategy #2
base: master
Are you sure you want to change the base?
Use default preferences to choose merge strategy #2
Conversation
final IEclipsePreferences prefs = InstanceScope.INSTANCE | ||
.getNode(Activator.getPluginId()); | ||
String preferredMergeStrategyKey = prefs.get( | ||
GitCorePreferences.core_preferredMergeStrategy, null); | ||
|
||
// Get preferences defined at eclipse startup with configuration files | ||
if (preferredMergeStrategyKey == null |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
That's very interesting... We probably need to do the same in EMFCompare to allow out users to define default properties wherever they want, don't we?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
In EMFCompare the class ScopedPreferenceStore is used to search a specific preference across multiple preferenceStores. This approach seems to be good for managing EGit preferences, but the preferences are managed in egit.core and ScopedPreferenceStore comes from eclipse.ui.
I think the better approach is to manage each store individually, as EGit does
The default preferences are only used if the user has not set a preference through the preferences pages Signed-off-by: mcartaud <[email protected]>
92c3ed7
to
278ba1c
Compare
@@ -245,6 +245,9 @@ | |||
public static String MergeStrategy_UnloadError; | |||
|
|||
/** */ | |||
public static String MergeStrategy_JGit_Default; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This should be a constant, but there's no reason to internationalize it!
f978f10
to
c37d805
Compare
915da0d
to
75b543e
Compare
45d2a27
to
b064edf
Compare
512439b
to
d318e27
Compare
d318e27
to
055b42b
Compare
94723b0
to
2f6171c
Compare
cdca2d6
to
68d2fd9
Compare
68d2fd9
to
4d94085
Compare
a6a477f
to
39505d5
Compare
b34eba0
to
3388246
Compare
cf775d3
to
1f8d87c
Compare
bdd52f0
to
e57843c
Compare
3dd284e
to
1732180
Compare
bad56b4
to
b5fd270
Compare
b5fd270
to
09393eb
Compare
64da85c
to
f066134
Compare
590b0bb
to
6fe6696
Compare
384e7de
to
ece276c
Compare
ece276c
to
500d12d
Compare
The default preferences are only used if the user has not set a
preference through the preferences pages
Signed-off-by: mcartaud [email protected]