diff options
author | Dani Megert | 2009-06-15 13:11:04 +0000 |
---|---|---|
committer | Dani Megert | 2009-06-15 13:11:04 +0000 |
commit | 7c691d628befe228b35e3a7b2b3529242f637387 (patch) | |
tree | 403fec38b27077d73405cc77e280bfdc803408bc | |
parent | f3132ab9020934438112684286ccee95868abe29 (diff) | |
download | eclipse.platform.text-7c691d628befe228b35e3a7b2b3529242f637387.tar.gz eclipse.platform.text-7c691d628befe228b35e3a7b2b3529242f637387.tar.xz eclipse.platform.text-7c691d628befe228b35e3a7b2b3529242f637387.zip |
Removed superfluous code.
-rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/FileDocumentProvider.java | 4 | ||||
-rw-r--r-- | org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextFileDocumentProvider.java | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/FileDocumentProvider.java b/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/FileDocumentProvider.java index 568fe753d73..286693e0e57 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/FileDocumentProvider.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/FileDocumentProvider.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2008 IBM Corporation and others. + * Copyright (c) 2000, 2009 IBM Corporation 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 @@ -876,7 +876,7 @@ public class FileDocumentProvider extends StorageDocumentProvider { protected void handleElementMoved(IFileEditorInput fileEditorInput, IPath path) { IWorkspace workspace= ResourcesPlugin.getWorkspace(); IFile newFile= workspace.getRoot().getFile(path); - fireElementMoved(fileEditorInput, newFile == null ? null : new FileEditorInput(newFile)); + fireElementMoved(fileEditorInput, new FileEditorInput(newFile)); } /** diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextFileDocumentProvider.java b/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextFileDocumentProvider.java index bcb9c9b962b..ced771955fb 100644 --- a/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextFileDocumentProvider.java +++ b/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/TextFileDocumentProvider.java @@ -312,7 +312,7 @@ public class TextFileDocumentProvider implements IDocumentProvider, IDocumentPro public void underlyingFileMoved(IFileBuffer file, IPath newLocation) { IWorkspace workspace=ResourcesPlugin.getWorkspace(); IFile newFile= workspace.getRoot().getFile(newLocation); - IEditorInput input= newFile == null ? null : new FileEditorInput(newFile); + IEditorInput input= new FileEditorInput(newFile); List list= new ArrayList(fElementStateListeners); Iterator e= list.iterator(); while (e.hasNext()) { |