codeq-web.git - CodeQ web client

summary refs log tree commit diff

path: root/js/codeq/robot.js

Age	Commit message (Expand)	Author
2015-11-18	Disable editor while waiting for hint/test results	Timotej Lazar
2015-11-18	Escape from editor using the escape key	Timotej Lazar
2015-10-21	Show a spinner on hint/test buttons when clicked	Timotej Lazar
2015-10-13	Store robot's address in settings	Timotej Lazar
2015-10-06	Rename state 'problem' to problem_list	Timotej Lazar
2015-10-05	Save current program in trace with each 'open' action	Timotej Lazar
2015-10-05	Record all user activity in trace	Timotej Lazar
2015-10-05	Remove some stale comments	Timotej Lazar
2015-10-05	Update robot.js to use websockets (WIP)	Timotej Lazar
2015-10-05	Oops, did not want to remove this yet	Timotej Lazar
2015-10-05	Fix editor activity reporting	Timotej Lazar
2015-10-05	Move makeActivityHandler to core.js	Timotej Lazar
2015-10-04	Adapted to changes in codeq-server: load_problem and end_problem upon enterin...	Aleš Smodiš
2015-10-01	Submit activity when closing problem screen	Timotej Lazar
2015-10-01	Use 'value' option in CM constructor to set initial content	Timotej Lazar
2015-09-30	Add the robot problem screen	Timotej Lazar