org.chromium.debug.ui/src/org/chromium/debug/ui/editors/JsDocumentProvider.java
changeset 355 8726e95bcbba
parent 2 e4420d2515f1
--- a/org.chromium.debug.ui/src/org/chromium/debug/ui/editors/JsDocumentProvider.java	Mon Jun 07 16:33:07 2010 -0700
+++ b/org.chromium.debug.ui/src/org/chromium/debug/ui/editors/JsDocumentProvider.java	Mon Jun 07 16:51:19 2010 -0700
@@ -4,10 +4,12 @@
 
 package org.chromium.debug.ui.editors;
 
+import org.eclipse.core.resources.IProject;
 import org.eclipse.core.runtime.CoreException;
 import org.eclipse.jface.text.IDocument;
 import org.eclipse.jface.text.IDocumentPartitioner;
 import org.eclipse.jface.text.rules.FastPartitioner;
+import org.eclipse.ui.IFileEditorInput;
 import org.eclipse.ui.editors.text.FileDocumentProvider;
 
 /**
@@ -27,4 +29,22 @@
     return doc;
   }
 
+  /**
+   * Alternative implementation of the method that does not require file to be a physical file.
+   */
+  @Override
+  public boolean isDeleted(Object element) {
+    if (element instanceof IFileEditorInput) {
+      IFileEditorInput input= (IFileEditorInput) element;
+
+      IProject project = input.getFile().getProject();
+      if (project != null && !project.exists()) {
+        return true;
+      }
+
+      return !input.getFile().exists();
+    }
+    return super.isDeleted(element);
+  }
+
 }