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

Save the preferences.

Browse source
This commit is contained in:
Alain Magloire 2003-11-25 20:07:16 +00:00
parent 9c677d807f
commit 1d44aef852
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/preferences/MakePreferencePage.java
View file

@ -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;
}
/**