Sebastian Serth dccc60b7ca Remove renderWebsocketOutput and use printWebsocketOutput instead ...

* The `render` command is not used much
* Originally added with commit 898074be3f
* The `#render` anchor (see findOrCreateRenderElement) was the "Render" button above the editor, nothing was rendered at all if executing code and otherwise it would be included _within_ the button.

2022-09-04 23:12:46 +02:00

..

ajax.js

Always show CSRF error message for Ajax

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

editor.js.erb

Remove renderWebsocketOutput and use printWebsocketOutput instead

2022-09-04 23:12:46 +02:00

evaluation.js

Remove renderWebsocketOutput and use printWebsocketOutput instead

2022-09-04 23:12:46 +02:00

execution.js

Remove renderWebsocketOutput and use printWebsocketOutput instead

2022-09-04 23:12:46 +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

Change order of autosave and clearing of editors when submitting code

2021-12-16 11:54:31 +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