Commit Graph

16 Commits

Author SHA1 Message Date
a53e884cea refined previous commit 2017-01-21 10:02:34 +01:00
0daf31e5ad removed un-i18n-ed text extension.
At least in case of Python the output is wrong anyway in quite a lot of cases.
2017-01-21 09:56:28 +01:00
a03d604861 fix points rounding in results view, clear results view on new scoring attempt. 2016-12-19 18:29:33 +01:00
70040b3c6b Reordered everything again. 2016-09-09 18:08:41 +02:00
3fd43fdee2 Sending command 'client_kill' on stop button click now.
Killing a container only if command client_kill was send.
Moved propmpt to prompt.js
2016-09-09 16:41:20 +02:00
46cb071503 remove code that showed tabs and leftovers of serversend events (runmode) 2016-09-09 15:40:53 +02:00
77452e6c2b move progress into sidebar 2016-09-09 15:40:09 +02:00
f170fee6a9 Replaced hr with enforced margin. 2016-09-01 17:49:59 +02:00
1670839ecf Fixed part of prompt. 2016-09-01 17:41:00 +02:00
7eea48e705 Merge branch 'editor-js-refactor' into editor-frontend-refactor 2016-09-01 11:52:05 +02:00
5f61c24dc6 Fixed socket calls. 2016-09-01 11:18:28 +02:00
dca26cf237 Refactored frontend.
Moved output to editor tab.
Added collapse function to sidebar.
2016-09-01 10:49:55 +02:00
aec7c593d8 Moved sockets. Fixed sockets. 2016-08-17 17:25:27 +02:00
0ca52a9b8f Fixed turtle. 2016-08-12 14:42:35 +02:00
fbb1cfb67b Cleaned up code. 2016-08-12 13:22:52 +02:00
842a38c13a Moved everything into new files. Made editor.js.erb really small. 2016-08-11 23:24:38 +02:00