Ralf Teusner b8da4dea17 Merge branch 'master' into editor-frontend-refactor ...

Conflicts:
	app/assets/javascripts/editor.js.erb
	app/views/exercises/implement.html.slim

2016-09-02 15:04:18 +02:00

..

editor

Replaced hr with enforced margin.

2016-09-01 17:49:59 +02:00

application.js

cleanup5

2016-07-25 16:45:45 +02:00

base.js

extracted method

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

dashboard.js

Fix leaking interval creating potentially unlimited unwanted requests

2015-11-05 14:52:49 +01:00

editor_edit.js

some renaming

2016-08-29 13:00:12 +02:00

editor.js.erb

fixed qa_api binding, changed formatting ...

2016-09-01 11:01:44 +02:00

execution_environments.js

transferred Code Ocean from original repository to GitHub

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

exercise_graphs.js

2nd part of the fix.

2016-06-17 15:04:17 +02:00

exercises.js

Merge pull request #76 from openHPI/markup-description

2016-08-03 15:08:21 +02:00

file_templates.js.coffee

Scaffold file templates

2016-06-09 22:38:19 +02:00

forms.js

improvements for togglable form inputs

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

markdown_ace_editor.js

cleanup5

2016-07-25 16:45:45 +02:00

modernizr-custom.js

use Modernizr to check whether websockets and server send events are supported

2015-10-16 17:10:50 +02:00

pagedown.js

cleanup2

2016-07-25 16:05:13 +02:00

shell.js

transferred Code Ocean from original repository to GitHub

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

sortable.js

Make tables sortable

2016-01-07 17:45:00 +01:00

submission_statistics.js

Fix slider

2015-12-17 11:56:06 +01:00

turtle.js

Fixed background and pen coloring on client side (javascript).

2016-06-14 17:53:54 +02:00

working_time_graphs.js

fixed scaling of graphs

2016-06-02 15:27:36 +02:00