| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
setting handling.
|
|
|
|
Remove the Language element from the navbar and have "CodeQ" (logo TBD)
send user to the language-selection page.
|
|
|
|
Hide the cursor when console is blurred. Do not change the color of
character under cursor when cursor is in the unblinked phase.
|
|
|
|
|
|
So we can resynchronize if something goes wrong.
|
|
New generic actions:
open(time), close plan hint(feedback), test(feedback)
New Prolog actions:
prolog_solve(query), prolog_next, prolog_end
New Python actions:
python_run(program), python_stop, python_input(text)
New robot actions:
robot_run(program), robot_stop(program)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
There were three identical copies for {prolog,python,robot}.js.
|
|
|
|
entering and leaving the problem solving screen.
|
|
(gui) language changes are now written to the DB once the save button is pressed
|
|
|
|
|
|
common and problem-specific hint content.
|
|
|
|
|
|
|
|
instances work correctly.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Also clean up remains of previous CodeMirror panel support.
|
|
Improving my jQuery-fu…
|
|
|
|
Conflicts:
index.html
|
|
|
|
|
|
|
|
files.
|
|
|
