Sebastian Serth 2b4de30189 Manually hide tooltip in editor after pressing some buttons

2023-02-28 00:53:15 +01:00

..

ajax.js

Always show CSRF error message for Ajax

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

editor.js.erb

Manually hide tooltip in editor after pressing some buttons

2023-02-28 00:53:15 +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

Switch order of unloading the autosave timer

2022-11-16 23:26:25 +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