mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 14:42:11 +02:00
Code Issues Wiki Activity

Compiler warnings.

Browse source
This commit is contained in:
Markus Schorn 2010-07-07 13:14:15 +00:00
parent 3fe0d27e62
commit 525cc24bc1
1 changed files with 4 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/cview/BuildGroup.java
View file

@ -40,8 +40,6 @@ import org.eclipse.ui.actions.BuildAction;
import org.eclipse.ui.ide.IDEActionFactory; import org.eclipse.ui.ide.IDEActionFactory;
import org.eclipse.ui.ide.ResourceUtil; import org.eclipse.ui.ide.ResourceUtil;
import org.eclipse.cdt.core.CCorePlugin;
/** /**
* This is the action group for workspace actions such as Build * This is the action group for workspace actions such as Build
*/ */
@ -95,16 +93,14 @@ public class BuildGroup extends CViewActionGroup {
return; return;
} }
IWorkbenchWindow[] windows = PlatformUI.getWorkbench().getWorkbenchWindows(); IWorkbenchWindow[] windows = PlatformUI.getWorkbench().getWorkbenchWindows();
for (int i = 0; i < windows.length; i++) { for (IWorkbenchWindow window : windows) {
IWorkbenchPage[] pages = windows[i].getPages(); IWorkbenchPage[] pages = window.getPages();
for (int j = 0; j < pages.length; j++) { for (IWorkbenchPage page : pages) {
IWorkbenchPage page = pages[j];
if (projects == null) { if (projects == null) {
page.saveAllEditors(false); page.saveAllEditors(false);
} else { } else {
IEditorPart[] editors = page.getDirtyEditors(); IEditorPart[] editors = page.getDirtyEditors();
for (int k = 0; k < editors.length; k++) { for (IEditorPart editor : editors) {
IEditorPart editor = editors[k];
IFile inputFile = ResourceUtil.getFile(editor.getEditorInput()); IFile inputFile = ResourceUtil.getFile(editor.getEditorInput());
if (inputFile != null) { if (inputFile != null) {
if (projects.contains(inputFile.getProject())) { if (projects.contains(inputFile.getProject())) {