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