mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

bug 395442: Initial provider command is not restored for non-shared providers

Browse source
This commit is contained in:
Caroline Rieder 2013-01-12 05:48:20 -05:00 • committed by Andrew Gvozdev
parent 2f425c4386
commit 3222ba63ed
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/language/settings/providers/LanguageSettingsProviderTab.java
View file

@ -439,11 +439,14 @@ public class LanguageSettingsProviderTab extends AbstractCPropertyTab {
if (event.getChecked()) { if (event.getChecked()) {
if (LanguageSettingsManager.isWorkspaceProvider(checkedProvider) && !LanguageSettingsManager.isPreferShared(id)) { if (LanguageSettingsManager.isWorkspaceProvider(checkedProvider) && !LanguageSettingsManager.isPreferShared(id)) {
newProvider = getInitialProvider(id);
if(newProvider == null) {
ILanguageSettingsProvider rawProvider = LanguageSettingsManager.getRawProvider(checkedProvider); ILanguageSettingsProvider rawProvider = LanguageSettingsManager.getRawProvider(checkedProvider);
if (rawProvider instanceof ILanguageSettingsEditableProvider) { if (rawProvider instanceof ILanguageSettingsEditableProvider) {
newProvider = LanguageSettingsManager.getProviderCopy((ILanguageSettingsEditableProvider) rawProvider, false); newProvider = LanguageSettingsManager.getProviderCopy((ILanguageSettingsEditableProvider) rawProvider, false);
} }
} }
}
} else { } else {
if (!LanguageSettingsManager.isWorkspaceProvider(checkedProvider)) { if (!LanguageSettingsManager.isWorkspaceProvider(checkedProvider)) {
newProvider = LanguageSettingsManager.getWorkspaceProvider(id); newProvider = LanguageSettingsManager.getWorkspaceProvider(id);