-
-
Notifications
You must be signed in to change notification settings - Fork 23
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add tips that nudge users to better use of Dodona #5386
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I do think it's important to update the series tip dynamically. We want to inform people when they are adding a lot of exercises and make them think twice at that moment. If we only show it on page load, there a big chance they won't even see the message and if they do, it might already be too late.
Co-authored-by: Bart Mesuere <[email protected]>
I have updated them to be dynamic |
This pull request introduces user tips in Dodona. These tips are meant to nudge users in the right direction, so they can make use of Dodona in the most optimal way.
For the above notice I had to introduce a database column that tracks if a judge is deprecated
These notices are dynamically added or removed when changing the number of exercises.
Closes #5335