dart-editor: integration 25388