Do not always consume the mouse wheel#3104

Kevinjil merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

Kevinjil:monaco-mousewheelKevinjil/domjudge:monaco-mousewheelCopy head branch name to clipboard