Niko Strijbol
Niko Strijbol
I was playing recently, and I noticed the Play Games integrations don't seem to work. For example: 1. Although I finished a game and won, I did not get the...
Issue to collect ideas and feedback about emails for questions. Other relevant issues with mail-related comments are #2265 and #1788. - Choosing frequency: daily digests, immediately, weekly digest (others?) -...
When my screen becomes less wide than 1400px, Dodona shrinks the page width. However, this results in relatively wasteful margins; the content becomes smaller than needed. For comparison, the course...
On the repository details page, the search dropdown contains duplicate entries, it seems to be one entry for each exercise. This happens for all searchable dropdowns: 
It used to be possible to copy code without including the annotations. This is no longer possible:  Fixing this probably means that you can no longer copy annotations (which...
This was recently mentioned in #3597, and I have also thought this a few times already. Some well-known ones are: - https://standardjs.com/ (this would also replace eslint) - https://prettier.io/
#2462 adds a basic export. However, it might be nice to provide a unified evaluation export that (can) include both the grades and the submissions itself.
Investigate which visualisation or statistics are useful/appropriate for inclusion in Dodona. ---- For example, adding a histogram similar to the one below to the header in the grade overview table....
### Describe the bug I have the following situation: - I want to globally disable the prev/next links. - On some limited pages I would like to re-enable them. Since...