mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-29 19:45:01 +02:00
Fixes warnings.
This commit is contained in:
parent
d84efff6f7
commit
09a6efc2c3
1 changed files with 0 additions and 2 deletions
|
@ -39,7 +39,6 @@ import org.eclipse.ui.progress.WorkbenchJob;
|
||||||
public class RemoteTreeContentManager {
|
public class RemoteTreeContentManager {
|
||||||
private RemoteTreeViewer fViewer;
|
private RemoteTreeViewer fViewer;
|
||||||
private IWorkbenchSiteProgressService progressService;
|
private IWorkbenchSiteProgressService progressService;
|
||||||
private ITreeContentProvider fProvider;
|
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Job to fetch children
|
* Job to fetch children
|
||||||
|
@ -228,7 +227,6 @@ public class RemoteTreeContentManager {
|
||||||
* @param parent the parent for which children should be pruned
|
* @param parent the parent for which children should be pruned
|
||||||
* @param offset the offset at which children should be pruned. All children at and after
|
* @param offset the offset at which children should be pruned. All children at and after
|
||||||
* this index will be removed from the tree.
|
* this index will be removed from the tree.
|
||||||
* @param monitor
|
|
||||||
*/
|
*/
|
||||||
protected void prune(final Object parent, final int offset) {
|
protected void prune(final Object parent, final int offset) {
|
||||||
WorkbenchJob updateJob = new WorkbenchJob("DeferredTree") { //$NON-NLS-1$
|
WorkbenchJob updateJob = new WorkbenchJob("DeferredTree") { //$NON-NLS-1$
|
||||||
|
|
Loading…
Add table
Reference in a new issue