dart-editor: integration 25630