Skip to content

v5.13.0

Choose a tag to compare

View all tags
@MathiasVDA MathiasVDA released this 12 Jan 22:12
· 90 commits to main since this release
v5.13.0
726ba23

New Features

  • Improved syntax highlighting: rainbow bracket colorization and enhancements to the color scheme for GitHub dark
  • Added default GitHub dark theme for CodeMirror in dark mode
  • Added user feedback when workspace is not configured correctly
  • Updated default file extension in git-based workspaces to .rq (instead of .sparql)

Fixes

  • Fixed preview CodeMirror themes link formatting

Chores

  • Removed some unit tests
  • Fixed broken unit test
  • Updated documentation formatting

Full Changelog: v5.12.0...v5.13.0

Assets 2
Loading