index
:
codeq-web.git
master
release
CodeQ web client
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
js
/
codeq
/
robot.js
Age
Commit message (
Expand
)
Author
2015-12-14
Improve robot screen
Timotej Lazar
2015-12-10
Add copyright info to JS files
Timotej Lazar
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