Skip to content

v0.5.0
Compare
Choose a tag to compare
@krassowski krassowski released this 28 Feb 16:07
· 145 commits to master since this release
v0.5.0
26bb951
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • added wavy-underline and dotted-underline themes which allow to customize how misspelt words are highlighted (#53)
  • development improvements: added GitHub Actions build check and binder badge (#48), binder bot (#54), and publish workflow (#52)
  • fixes: dictionaries were loaded twice, '' characters lead to empty words and problems in the german dictionaries
Assets 2
Loading