Maximilian Grundke 9eadc3a4db Make error template UI usable

2017-07-12 11:04:29 +02:00

..

images

transferred Code Ocean from original repository to GitHub

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

javascripts

this should fix the "zombie file" bug. Turned out that the CodeOceanEditor object is not destroyed when navigating back and forth within the exercise context ( from an exercise back to the exercise index and forward to another exercise). Therefore, CodeOceanEditor.editors[] kept all "old" editors and added the new ones behind the old ones. On next autosave, they were persisted into a submission.

2017-07-03 14:57:08 +02:00

remote_scripts

prevent replacement of * in student submission files..

2017-05-14 23:10:33 +02:00

stylesheets

Make error template UI usable

2017-07-12 11:04:29 +02:00