1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-29 20:05:35 +02:00

bug 307520: Save build console toggle does not work when first being pressed

Patch from Dmitry Kozlov
This commit is contained in:
Andrew Gvozdev 2010-04-08 02:35:39 +00:00
parent a9c6b8f9a7
commit 7824e2e314

View file

@ -57,10 +57,11 @@ public class SaveConsoleAction extends Action {
Shell shell = fConsolePage.getControl().getShell();
String id = "org.eclipse.cdt.managedbuilder.ui.properties.Page_head_build"; //$NON-NLS-1$
PreferenceDialog d = PreferencesUtil.createPropertyDialogOn(shell, project, id, new String[] { id }, null);
int result = d.open();
if ( result == Window.CANCEL ) {
setChecked(false);
}
d.open();
BuildOutputLogger.SaveBuildOutputPreferences newBp =
BuildOutputLogger.readSaveBuildOutputPreferences(project);
setChecked(newBp.isSaving);
return;
}
}
bp.isSaving = isChecked();