| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
Make them look like normal buttons.
|
|
The distributed version of non-minified file is buggy.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
existing user.
|
|
|
|
|
|
|
|
|
|
the codeq.settings (codeq-server and database has been updated as well)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
scrollable-content-container.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
reimplemented problem index from JSON data.
|
|
startup.js, moved the boot sequence to core.js.
|
|
|
|
|
|
of the bar), renamed stateMachine to navigation
|
|
for the top-level block #screen_prolog, made a copy of the latter into #screen_python so the two screens can now diverge.
|
