| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/CompilationUnitEditor.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/CompilationUnitEditor.java (revision 14360)
|
| +++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/editor/CompilationUnitEditor.java (working copy)
|
| @@ -1203,22 +1203,12 @@
|
| }
|
|
|
| } else {
|
| -
|
| setStatusLineErrorMessage(null);
|
|
|
| updateState(getEditorInput());
|
| validateState(getEditorInput());
|
|
|
| - IWorkingCopyManager manager = DartToolsPlugin.getDefault().getWorkingCopyManager();
|
| - CompilationUnit unit = manager.getWorkingCopy(getEditorInput());
|
| -
|
| - if (unit != null) {
|
| - synchronized (unit) {
|
| - performSave(false, progressMonitor);
|
| - }
|
| - } else {
|
| - performSave(false, progressMonitor);
|
| - }
|
| + performSave(false, progressMonitor);
|
| }
|
| }
|
|
|
|
|