Ralf Teusner 632b41da23 editor has an option whether it should remember the last used tab and show it, or whether it should display the first tab. currently, it shows the first tab. (as users whished for this behaviour)

2015-09-25 12:13:08 +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

editor has an option whether it should remember the last used tab and show it, or whether it should display the first tab. currently, it shows the first tab. (as users whished for this behaviour)

2015-09-25 12:13:08 +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

turtle.js

Manually merge changes from webpython branch.

2015-09-15 16:55:16 +02:00