dart-editor: trunk 26017