Version 0.4.7.3 .

editor/tools/plugins/com.google.dart.tools.ui.web/src/com/google/dart/tools/ui/web/pubspec/PubspecEditor.java

 /*
  * Copyright (c) 2012, the Dart project authors.
  * 
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
  * 
  * http://www.eclipse.org/legal/epl-v10.html
  * 
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
@@ skipping 226 matching lines @@
     }
   }
 
   private void updateDocumentContents() {
     String contents = model.getContents();
     if (contents != null) {
       yamlEditor.getDocument().set(contents);
     }
   }
 }