Skip to content

2023.10

Compare
Choose a tag to compare
@github-actions github-actions released this 01 Oct 00:03
· 2138 commits to main since this release
8402009

In September, we've been polishing our manual code review and annotation tools and are excited to share the advances with you.

The headline news: The "annotations reuse" feature has now been expanded to all our users. That's right - it's out of beta and available for everyone! We're currently crafting a detailed guide to ensure you get the most out of this feature. So, stay tuned for comprehensive documentation, coming your way soon.


What's Changed

🚀 New Features

  • Make saved annotations available in all courses by @jorg-vr in #4992

✨ Changes

  • Allow creating a saved annotations with the same title by @jorg-vr in #4884
  • Show submission numbers in evalution submission selection by @jorg-vr in #4988
  • Make wavy underline markings smaller by @jorg-vr in #4989
  • Allow creating saved annotations by searching annotations by @jorg-vr in #4965
  • Remove browser outline styling for focus-within on nav-tabs by @jorg-vr in #4997

🐛 Bug Fixes

  • Fix dragging create annotation button for padding pixels by @jorg-vr in #4959
  • Fix breaking of spaces at the end of a code line by @jorg-vr in #4963
  • Only close annotation form on focus loss when empty by @jorg-vr in #4958
  • Do not redirect to repository media after login by @jorg-vr in #4964
  • Fix search by username in account linking flow by @jorg-vr in #4967
  • Fix notification title styling by @jorg-vr in #4985
  • Fix docker images not being shut down by @jorg-vr in #4987
  • Fix annotating part of a line by @jorg-vr in #4990
  • Fix refreshing of course members page after actions by @jorg-vr in #4995
  • Fix infinite progress bar when filtering students in an evaluation by @jorg-vr in #4996
  • Show machine annotations on the last line if index out of range by @jorg-vr in #5012
  • Fix copying selected code without extra newlines by @jorg-vr in #5013

🧰 Maintenance

Full Changelog: 2023.09...2023.10