dart-editor: latest trunk