| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
btn in the profile screen
|
|
|
|
the transition to the login screen must be performed before the logout happens
|
|
logout and fixed a small display error where the banner would say 'signed in' twice
|
|
|
|
|
|
Conflicts:
index.html
|
|
|
|
|
|
button
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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)
|
|
|
|
|
|
|
|
When/if we have some actual text, we can add that.
|
|
|
|
|
|
|
