dart-editor: trunk 25017