Jan Graichen 629c925e77 Fix setting active file in editor ...

The file select hook did construct an active_file but did not
assign it to the actual variables. This commit changes the hook to
use the existing setActiveFile helper function.

2018-10-19 12:34:12 +02:00

..

images

transferred Code Ocean from original repository to GitHub

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

javascripts

Fix setting active file in editor

2018-10-19 12:34:12 +02:00

remote_scripts

fix parsing problem of windows script

2018-07-30 14:35:11 +02:00

stylesheets

Merge pull request #198 from openHPI/experimental-exercise-description-design

2018-08-08 10:14:40 +02:00