Sebastian Serth 1d7fd98c79 Fix theme change if no file tree is shown

2023-08-01 16:33:45 +02:00

..

channels

Introduce Dark Mode

2023-07-31 11:48:42 +02:00

editor

Fix theme change if no file tree is shown

2023-08-01 16:33:45 +02:00

pagedown

Open linked resources in a new browsing context

2022-09-23 21:35:22 +02:00

application.js

Introduce Dark Mode

2023-07-31 11:48:42 +02:00

base.js

Fix Sentry Replay integration

2023-06-02 14:33:32 +02:00

bootstrap-dropdown-submenu.js

Update Bootstrap from v4 to v5

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

cable.js

Rename actioncable integration (deprecation warning)

2022-12-06 15:26:50 +01:00

codeharbor_link.js

CSP: Extract JavaScript from layout to assets

2022-11-16 19:47:58 +01:00

community_solution.js

Introduce Dark Mode

2023-07-31 11:48:42 +02:00

dashboard.js

Update visjs to new fork, reduce bundle size

2022-08-12 14:11:18 +02:00

editor.js

Introduce Dark Mode

2023-07-31 11:48:42 +02:00

error_templates.js

Fix missing routes incompatible with a subpath

2021-11-03 16:02:21 +01:00

execution_environments.js

Update Turbolinks, load additional assets only on request, fix JS

2018-11-06 16:46:01 +01:00

exercise_collections.js.erb

Update Bootstrap from v4 to v5

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

exercise_graphs.js

Introduce Dark Mode

2023-07-31 11:48:42 +02:00

exercises.js.erb

Introduce Dark Mode

2023-07-31 11:48:42 +02:00

external_users.js

Fix missing routes incompatible with a subpath

2021-11-03 16:02:21 +01:00

forms.js

Update Bootstrap from v4 to v5

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

markdown_ace_editor.js.erb

Introduce Dark Mode

2023-07-31 11:48:42 +02:00

request_for_comments.js

Introduce Dark Mode

2023-07-31 11:48:42 +02:00

shell.js

Introduce Dark Mode

2023-07-31 11:48:42 +02:00

statistics_activity_history.js

Fix missing routes incompatible with a subpath

2021-11-03 16:02:21 +01:00

statistics_graphs.js

Fix missing routes incompatible with a subpath

2021-11-03 16:02:21 +01:00

submission_statistics.js.erb

Introduce Dark Mode

2023-07-31 11:48:42 +02:00

turtle.js

Fix undefined error for Turtle update

2023-03-14 19:31:51 +01:00

working_time_graphs.js

Introduce Dark Mode

2023-07-31 11:48:42 +02:00