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.
|
|
|