dart-editor: trunk update