Skip to content

v0.11.7

Pre-release
Pre-release
Compare
Choose a tag to compare
@github-actions github-actions released this 03 Apr 15:36
v0.11.7
This tag was signed with the committer’s verified signature.
d-biehl Daniel Biehl
GPG key ID: 988F17F6091D1269
Verified
Learn about vigilant mode.
93a7edd
This commit was signed with the committer’s verified signature.
d-biehl Daniel Biehl
GPG key ID: 988F17F6091D1269
Verified
Learn about vigilant mode.

added

  • optimize restart language clients if configuration changed
  • support for progress feature of language server protocol
  • correct WHILE snippets
  • handle invalid regular expressions in embedded keywords
  • correct handling of templates with embedded arguments
Assets 5
Loading