minor error check.

DDT-IDE · Dec 12, 2014 · c931850 · c931850
1 parent 01dd89a
commit c931850
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/plugin_ide.ui/src/mmrnmhrm/ui/actions/DeeOpenDefinitionOperation.java b/plugin_ide.ui/src/mmrnmhrm/ui/actions/DeeOpenDefinitionOperation.java
@@ -94,6 +94,10 @@ public void handleOpenDefinitionResult(FindDefinitionResult openDefResult) throw
 		if(newEditorFilePath == null) {
 			throw LangCore.createCoreException("no file path provided", null);
 		}
+		if(!newEditorFilePath.toFile().exists()) {
+			throw LangCore.createCoreException("File does not exist.", null);
+		}
+
 		IEditorInput newInput;
 		if(areEqual(newEditorFilePath, inputPath)) {
 			newInput = editor.getEditorInput();