dart-editor v1.3 stable/release/34825