rteusner ec1be437de Merge pull request #120 from openHPI/minor-fixes ...

Close flash messages

2017-06-26 13:36:23 +02:00

..

editor

make output scroll again!

2017-06-19 13:35:03 +02:00

application.js

Feature: Auto-Completion in Source Code

2016-09-07 17:34:20 +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.erb

reworked the exercise edit dialog. Moved javascript part from editor_edit.js.erb to exercises.js.erb.

2016-10-12 16:35:21 +02:00

editor.js.erb

remove old comment...

2016-11-23 16:19:20 +01: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.erb

fixed problem that no new files could be added to an exercise

2017-03-21 17:35:46 +01: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