dart-editor: latest integration