diff --git a/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/preferences/MakePreferencePage.java b/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/preferences/MakePreferencePage.java index c4d3fc23c0a..0634a32faa4 100644 --- a/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/preferences/MakePreferencePage.java +++ b/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/preferences/MakePreferencePage.java @@ -10,6 +10,7 @@ *******************************************************************************/ package org.eclipse.cdt.make.internal.ui.preferences; +import org.eclipse.cdt.make.core.MakeCorePlugin; import org.eclipse.cdt.make.internal.ui.MakeProjectOptionBlock; import org.eclipse.cdt.make.internal.ui.MakeUIPlugin; import org.eclipse.cdt.ui.dialogs.ICOptionContainer; @@ -62,7 +63,11 @@ public class MakePreferencePage extends PreferencePage implements IWorkbenchPref } public boolean performOk() { - return fOptionBlock.performApply(null); + boolean ok = fOptionBlock.performApply(null); + if (MakeCorePlugin.getDefault().getPluginPreferences().needsSaving()) { + MakeCorePlugin.getDefault().savePluginPreferences(); + } + return ok; } /**