Show specific code-annotation when annotations are minimized

[stijndcl]

Currently, when code-annotations are minimized, Dodona shows a small dot next to lines that have one. It could be a useful feature to be able to click on these dots to show that specific annotation.

[pdawyndt]

Show dots only when "minimized" or always show dots (with functionality to manually show/hide corresponding annotations) and treat buttons on top as show all/show some/hide all?

[stijndcl]

Show dots only when "minimized" or always show dots (with functionality to manually show/hide corresponding annotations) and treat buttons on top as show all/show some/hide all?

Right now, dots are only shown when annotations are hidden, so this is already the case. My suggestion was to be able to click on a dot to show it's annotation, without having to scroll back up to the top & show all annotations.

The buttons up top would still show/hide all annotations, but the separate dots would become clickable in order to open up/hide the specific annotation that they belong to, without showing/hiding all the others.

[pdawyndt]

I was just taking up your line of tought and expanding the idea. If the dots do not clutter the view when the annotations are displayed, we could as well always show them. With the additional functionality to use them as a toggle for displaying the annotations attached to that line. The idea had already came up in #1852 (sixth bullet).

[bmesuere]

This has been fixed with #4568. Hovering over the squiggly line shows the full annotation.