Sebastian Serth 4ea3cb29d3 Fix download for binary files

2021-01-11 15:10:41 +01:00

..

external_users

Adjust teacher permissions:

2020-09-07 19:04:34 +02:00

_add_tip_modal.slim

Add admin UI to assign tips to exercises

2020-10-14 14:34:27 +02:00

_code_field.html.slim

Always show file upload box when editing exercises

2020-12-16 18:00:47 +01:00

_comment_dialogcontent.html.slim

Move subscribe box out of other comments container

2017-09-20 17:27:47 +02:00

_editor_button.html.slim

Fix bootstrap CSS issues in Safari and Chrome

2018-11-06 16:49:44 +01:00

_editor_edit.html.slim

Update Bootstrap to v4.1, fix chosen.js and pagedown on multiple sites

2018-11-06 16:49:41 +01:00

_editor_file_tree.html.slim

Update styling for Tips to make them less annoying

2020-10-20 13:50:29 +02:00

_editor_frame.html.slim

Fix download for binary files

2021-01-11 15:10:41 +01:00

_editor_output.html.slim

Remove consumer_id from session

2020-11-25 21:19:18 +01:00

_editor.html.slim

Move tips to left sidebar and set width = 25%

2020-10-15 17:40:48 +02:00

_export_actions.html.slim

remove create_new functionality, when exercise exists on CH but is not editable

2019-12-13 16:43:19 +01:00

_export_dialogcontent.html.slim

translations and whitespaces

2019-10-21 18:03:56 +02:00

_file_form.html.slim

Add new style for linter and allow 0 points

2020-10-15 16:22:37 +02:00

_form.html.slim

Add admin UI to assign tips to exercises

2020-10-14 14:34:27 +02:00

_request_comment_dialogcontent.html.slim

Update translations of RfC interventions

2020-02-14 16:59:16 +01:00

_tips_content.html.slim

Improve numbering format for tips

2020-10-25 17:24:25 +01:00

edit.html.slim

implementation ready for testing

2016-08-17 15:53:16 +02:00

feedback.html.slim

Adjust teacher permissions:

2020-09-07 19:04:34 +02:00

implement.html.slim

Fix duplication of code when navigation back and forth

2020-03-06 15:34:43 +01:00

index.html.slim

Add new file role teacher_defined_linter

2020-10-15 00:43:57 +02:00

new.html.slim

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

reload.json.jbuilder

Fix reset of tasks

2015-04-20 22:30:31 +02:00

show.html.slim

Add admin UI to assign tips to exercises

2020-10-14 14:34:27 +02:00

statistics.html.slim

Adjust teacher permissions:

2020-09-07 19:04:34 +02:00

study_group_dashboard.html.slim

Implement working time graph for study group dashboard

2019-03-12 10:32:23 +01:00