Merge pull request #5276 from dodona-edu/fix/ctrl-click

Fix ctrl click for notifications

app/assets/javascripts/notification.ts

@@ -42,6 +42,9 @@ export class Notification {
         // We only want to install the click handler for the full element on the small notification view.
         if (installClickHandler) {
             this.element.addEventListener("click", event => {
+                // Use default browser behavior if the user clicked on the link itself.
+                if (event.target instanceof HTMLAnchorElement) return;
+
                 this.visit();
                 event.stopPropagation();
             });