dart-editor: integration 25017