dart-editor: trunk 25788