Skip to content

v0.7.2

Latest

Choose a tag to compare

@KaiErikNiermann KaiErikNiermann released this 06 Oct 18:25
· 21 commits to main since this release

What's new

Extension

  • Exclude Current File command adds the open file to the config's exclude list (a3f39d4, 2af4acc)
  • Reloads started from a settings command show a progress notification until they finish (2af4acc)
  • Word count and reading level show only for documents that are checked (1bbfbd3)

Fixes

  • A slower check of an older version no longer replaces a newer result, and squiggles are placed against the text that was checked (ce06ab9)
  • A queued check that a newer one replaced is skipped (606317f)
  • A reopened document is checked again (2c9555e)
  • Vale, proselint and external checkers that fail are reported on the document instead of passing as clean (97e0071)
  • Command-line checkers time out after 30 s and their output is capped (1a8a573)
  • The workspace dictionary and ignore store are replaced atomically and never written through a symlink (40e6dca, 4032482)
  • A lang-check-begin region whose match: or exclude: pattern does not compile suppresses nothing (7e267e4)
  • Background indexing reads at most four files at once (9d1976f)
  • Index entries for deleted or renamed files are pruned (1fcdb56)

LSP

  • Positions are counted in UTF-16 code units (0688706)
  • An engine offset inside a multi-byte character no longer panics (b9201c7)
  • A document keeps the language id it was opened with (c7c28c8)

Maintenance

  • Benchmark gate compares medians with an absolute floor (ba53ab7)
  • cargo deny ignores two component-model wasmtime advisories, as with earlier ones via extism (fe3aa6f)
  • lint-patterns runs semgrep on a GIL Python (7b44067)
  • Dependency updates (#93, #94, #96, #97)

What's Changed

  • build(deps): bump the rust-deps group in /rust-core with 3 updates by @dependabot[bot] in #94
  • build(deps-dev): bump the npm-deps group in /extension with 4 updates by @dependabot[bot] in #93
  • build(deps-dev): bump the npm-deps group in /extension with 6 updates by @dependabot[bot] in #96
  • build(deps): bump the rust-deps group across 1 directory with 4 updates by @dependabot[bot] in #97

Full Changelog: v0.7.1...v0.7.2