summaryrefslogtreecommitdiff
path: root/js/codeq/robot.js
AgeCommit message (Expand)Author
2015-12-14Improve robot screenTimotej Lazar
2015-12-10Add copyright info to JS filesTimotej Lazar
2015-11-18Disable editor while waiting for hint/test resultsTimotej Lazar
2015-11-18Escape from editor using the escape keyTimotej Lazar
2015-10-21Show a spinner on hint/test buttons when clickedTimotej Lazar
2015-10-13Store robot's address in settingsTimotej Lazar
2015-10-06Rename state 'problem' to problem_listTimotej Lazar
2015-10-05Save current program in trace with each 'open' actionTimotej Lazar
2015-10-05Record all user activity in traceTimotej Lazar
2015-10-05Remove some stale commentsTimotej Lazar
2015-10-05Update robot.js to use websockets (WIP)Timotej Lazar
2015-10-05Oops, did not want to remove this yetTimotej Lazar
2015-10-05Fix editor activity reportingTimotej Lazar
2015-10-05Move makeActivityHandler to core.jsTimotej Lazar
2015-10-04Adapted to changes in codeq-server: load_problem and end_problem upon enterin...Aleš Smodiš
2015-10-01Submit activity when closing problem screenTimotej Lazar
2015-10-01Use 'value' option in CM constructor to set initial contentTimotej Lazar
2015-09-30Add the robot problem screenTimotej Lazar