Sebastian Serth b98c37ae64 Rename v4 FontAwesome icons to match v5/v6 name ...

While FontAwesome provides aliases for all icons, we switch to the new names for consistency. See all changes at:
https://fontawesome.com/docs/web/setup/upgrade/upgrade-from-v4#icons-renamed-since-version-4

2022-08-09 14:17:32 +02:00

..

ajax.js

Always show CSRF error message for Ajax

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

editor.js.erb

Rename v4 FontAwesome icons to match v5/v6 name

2022-08-09 14:17:32 +02:00

evaluation.js

Allow images in augmentStacktraceInOutput

2022-06-17 00:04:05 +02:00

execution.js

Extend storage of Testrun Messages and truncate long output

2022-04-29 22:44:34 +02:00

participantsupport.js.erb

Rename v4 FontAwesome icons to match v5/v6 name

2022-08-09 14:17: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

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