| 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
|
|
|