Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/DartEditor.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/DartEditor.java (revision 18051) |
+++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/DartEditor.java (working copy) |
@@ -4199,9 +4199,6 @@ |
* Tells whether the content is editable. |
*/ |
private boolean isContentEditable() { |
- if (true) { |
- return true; |
- } |
if (!isEditableStateKnown) { |
IDocumentProvider p = getDocumentProvider(); |
if (p instanceof ICompilationUnitDocumentProvider) { |