Ralf Teusner bbd372916a Merge branch 'editor-frontend-refactor' of https://github.com/openHPI/codeocean into editor-frontend-refactor

2016-09-01 17:32:11 +02:00

..

ajax.js.erb

Moved everything into new files. Made editor.js.erb really small.

2016-08-11 23:24:38 +02:00

editor.js.erb

Disabled file tree and collapsed sidebar when filetree should be disabled.

2016-09-01 17:31:18 +02:00

evaluation.js.erb

Merge branch 'editor-js-refactor' into editor-frontend-refactor

2016-09-01 11:52:05 +02:00

execution.js.erb

Added handler for exit command.

2016-09-01 17:03:28 +02:00

flowr.js.erb

some cleanup,

2016-09-01 16:48:55 +02:00

submissions.js.erb

Added url param.

2016-09-01 16:50:10 +02:00

turtle.js.erb

Moved sockets. Fixed sockets.

2016-08-17 17:25:27 +02:00

websocket.js.erb

make websocket flush accessible.

2016-09-01 17:31:46 +02:00