Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SourceFileElementImpl.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SourceFileElementImpl.java (revision 18051) |
+++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SourceFileElementImpl.java (working copy) |
@@ -15,6 +15,7 @@ |
import com.google.dart.compiler.DartSource; |
import com.google.dart.compiler.util.DartSourceString; |
+import com.google.dart.tools.core.DartCore; |
import com.google.dart.tools.core.buffer.Buffer; |
import com.google.dart.tools.core.internal.buffer.DocumentAdapter; |
import com.google.dart.tools.core.internal.util.CharOperation; |
@@ -205,7 +206,7 @@ |
@Override |
public boolean isReadOnly() { |
- return file.isReadOnly(); |
+ return file.isReadOnly() || DartCore.isPackagesResource(file); |
} |
@Override |