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

updated.

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

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

@ -64,9 +64,7 @@ public class MakePreferencePage extends PreferencePage implements IWorkbenchPref
public boolean performOk() { public boolean performOk() {
boolean ok = fOptionBlock.performApply(null); boolean ok = fOptionBlock.performApply(null);
if (MakeCorePlugin.getDefault().getPluginPreferences().needsSaving()) {
MakeCorePlugin.getDefault().savePluginPreferences(); MakeCorePlugin.getDefault().savePluginPreferences();
}
return ok; return ok;
} }