Ralf Teusner 3e04222367 setting correct ids for the files in the editor after creating a new submission. Still a bit clumsy concerning the passed json parameters, but does the job.

2015-06-24 20:22:53 +02:00

..

application.js

transferred Code Ocean from original repository to GitHub

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

base.js

extracted method

2015-03-11 17:30:29 +01:00

dashboard.js

fixed minor code style issues

2015-03-03 11:31:20 +01:00

editor.js

setting correct ids for the files in the editor after creating a new submission. Still a bit clumsy concerning the passed json parameters, but does the job.

2015-06-24 20:22:53 +02:00

execution_environments.js

transferred Code Ocean from original repository to GitHub

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

exercises.js

fix

2015-03-12 17:04:53 +01:00

forms.js

improvements for togglable form inputs

2015-03-12 17:57:15 +01:00

markdown_editor.js

transferred Code Ocean from original repository to GitHub

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

shell.js

transferred Code Ocean from original repository to GitHub

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