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.

Sign up for GitHub

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

Jump to bottom

ACE Editor does not support latest JavaScript features #4585

Closed

niknetniko opened this issue Apr 23, 2023 · 0 comments · Fixed by #4933 or #4970

Labels

bug

Member

niknetniko commented Apr 23, 2023

For example, from https://dodona.ugent.be/nl/submissions/13861144/:

They seem to use JSHint for this, and there should be an option to use a higher version (ajaxorg/ace#3160). Alternatively, we could disable the editor linting completely (https://stackoverflow.com/questions/12886857/how-can-i-disable-the-syntax-checker-in-ace-editor), and leave it for the judges.

niknetniko added the bug label

niknetniko mentioned this issue

Replace Ace Editor with CodeMirror #4933

Merged

jorg-vr closed this as completed in #4933

bmesuere mentioned this issue

Replace Ace Editor with CodeMirror 6 #4970

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment