1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-22 22:22:11 +02:00

Fix warnings.

This commit is contained in:
Markus Schorn 2009-04-28 15:10:40 +00:00
parent 74ec7eae9c
commit 997f6d7197
3 changed files with 12 additions and 11 deletions

View file

@ -1,5 +1,5 @@
/*******************************************************************************
* Copyright (c) 2002, 2008 QNX Software Systems and others.
* Copyright (c) 2002, 2009 QNX Software Systems and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@ -1148,15 +1148,15 @@ public class CDocumentProvider extends TextFileDocumentProvider {
return rootEdit;
}
private static boolean isWhitespaceRegion(IDocument document, IRegion region) throws BadLocationException {
int end = region.getOffset() + region.getLength();
for (int i = region.getOffset(); i < end; i++) {
if (!Character.isWhitespace(document.getChar(i))) {
return false;
}
}
return true;
}
// private static boolean isWhitespaceRegion(IDocument document, IRegion region) throws BadLocationException {
// int end = region.getOffset() + region.getLength();
// for (int i = region.getOffset(); i < end; i++) {
// if (!Character.isWhitespace(document.getChar(i))) {
// return false;
// }
// }
// return true;
// }
/**
* Returns the preference whether handling temporary problems is enabled.

View file

@ -114,7 +114,7 @@ public interface IWorkingSetProjectConfiguration extends IWorkingSetConfiguratio
* Activates my selected configuration in the workspace, for my project.
*
* @see #getSelectedConfigurationID()
* @see #setSelectedConfigurationID(String)
* @see ISnapshot#setSelectedConfigurationID(String)
* @see #isActive()
*/
void activate();

View file

@ -265,6 +265,7 @@ public class WorkingSetProjectConfiguration implements IWorkingSetProjectConfigu
return resolveProject().getName();
}
@Override
public void setSelectedConfigurationID(String id) {
super.setSelectedConfigurationID(id);
}