Age | Commit message (Collapse) | Author |
|
|
|
|
|
Also ensure the topbar stays fixed regardless of the content scrollbar.
|
|
This reverts commit 982522b5b9dfc39c10d08129b873aadf77b7293f.
|
|
|
|
|
|
|
|
|
|
|
|
Records a {'typ': 'experiment', 'data': 'teacher help'} action when
clicked. This will allow us to consider such traces specially when
evaluating different hint types.
This is specific to the prolog_hints experiment and should be reverted
or generalized in the future.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bootstrap: because 10px ought to be good for everyone!™
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
existing user.
|
|
|
|
|
|
|
|
the codeq.settings (codeq-server and database has been updated as well)
|
|
|
|
|
|
|
|
|