Sebastian Serth 3dc8265292 Toggle editor buttons when jumping to a source line

2021-12-21 13:26:06 +01:00

..

ajax.js

Always show CSRF error message for Ajax

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

editor.js.erb

Toggle editor buttons when jumping to a source line

2021-12-21 13:26:06 +01:00

evaluation.js

Connection Buffer: Replace \r in run and score output with \n

2021-11-01 17:13:14 +01:00

execution.js

Remove ws_client_protocol option

2021-11-01 17:13:06 +01:00

participantsupport.js.erb

Add support for running CodeOcean under a subpath

2021-07-06 19:33:55 +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

Change order of autosave and clearing of editors when submitting code

2021-12-16 11:54:31 +01:00

turtle.js

Hide Turtle Canvas during cleanup

2020-03-07 23:24:06 +01:00

websocket.js

Check for connection state before sending flush character

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