Sebastian Serth 2b11415dcd Delete UTF-16 characters completely in editor ...

Previously, removing an UTF-16 character (such as emojis) required pressing the backspace twice. This was caused by ACE only handling single UTF-8 characters.

Fixes CODEOCEAN-GC

2023-02-28 16:27:47 +01:00

..

ajax.js

Always show CSRF error message for Ajax

2021-11-23 01:37:50 +01:00

editor.js.erb

Delete UTF-16 characters completely in editor

2023-02-28 16:27:47 +01:00

evaluation.js

Handle undefined this.websocket when stopping code

2022-09-22 19:24:26 +02:00

execution.js

Editor: Allow file retrieval after code run

2022-10-29 18:49:18 +02:00

participantsupport.js.erb

Update Bootstrap from v4 to v5

2022-08-12 11:45:32 +02:00

prompt.js

Update Bootstrap to v4.1, fix chosen.js and pagedown on multiple sites

2018-11-06 16:49:41 +01:00

submissions.js

Ensure to clear timeout in autosave

2023-02-28 12:31:22 +01:00

turtle.js

Update Bootstrap from v4 to v5

2022-08-12 11:45:32 +02:00

websocket.js

Check for connection state before sending flush character

2020-11-11 18:16:07 +01:00