index
:
codeq-web.git
master
release
CodeQ web client
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2015-10-12
Rename lang setting to gui_lang and store it in codeq.settings
Timotej Lazar
2015-10-12
Fix: $.extend instead of $.merge settings object
Timotej Lazar
2015-10-12
logout bugfix
Marko Pušnik
2015-10-12
show basic user statistics on profile page
Marko Pušnik
2015-10-12
profile page
Marko Pušnik
2015-10-12
ResetPassword: form validation
Marko Pušnik
2015-10-12
signUp: added name and email
Marko Pušnik
2015-10-10
Console: do not add empty lines to history
Timotej Lazar
2015-10-10
Console: scroll to bottom when editing input line
Timotej Lazar
2015-10-10
Make backspace work with shift pressed
Timotej Lazar
2015-10-09
Reduce opacity of not-newest hints
Timotej Lazar
2015-10-09
Fix console cursor display in Chrome
Timotej Lazar
2015-10-09
Fix setting the resources var in boot sequence
Timotej Lazar
2015-10-08
Adapted to the reworked session handling on the server. Bugfixed the lang set...
Aleš Smodiš
2015-10-07
arnesaai modal draft
Marko Pušnik
2015-10-07
logo (navbar-brend)
Marko Pušnik
2015-10-06
wss
Marko Pušnik
2015-10-06
Rename state 'problem' to problem_list
Timotej Lazar
2015-10-06
Fix: correctly check if blinkTimer is not null
Timotej Lazar
2015-10-06
Refactor renderLine
Timotej Lazar
2015-10-05
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
Marko Pušnik
2015-10-05
sign up, reset password and profile pages + related comm messages
Marko Pušnik
2015-10-05
Save current program in trace with each 'open' action
Timotej Lazar
2015-10-05
Record all user activity in trace
Timotej Lazar
2015-10-05
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
Marko Pušnik
2015-10-05
handle phonegap native mobile app
Marko Pušnik
2015-10-05
Remove some stale comments
Timotej Lazar
2015-10-05
Remove lorem ipsums under language icons
Timotej Lazar
2015-10-05
Highlight only the border around newest hint
Timotej Lazar
2015-10-05
Add some padding
Timotej Lazar
2015-10-05
Update robot.js to use websockets (WIP)
Timotej Lazar
2015-10-05
Oops, did not want to remove this yet
Timotej Lazar
2015-10-05
Fix editor activity reporting
Timotej Lazar
2015-10-05
Fix iteration order in codeq.codePointCount
Timotej Lazar
2015-10-05
Move makeActivityHandler to core.js
Timotej Lazar
2015-10-04
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
Aleš Smodiš
2015-10-04
Adapted to changes in codeq-server: load_problem and end_problem upon enterin...
Aleš Smodiš
2015-10-02
moved gui language selection completely into the settings dropdown menu and (...
root
2015-10-02
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
Marko Pušnik
2015-10-02
Pa naj bo 50:50 dokler ne stuhtamo kaj boljšega
Marko Pušnik
2015-10-02
Remove the deprecated codeq.chooseTranslation().
Aleš Smodiš
2015-10-02
Bugfix: don't remove [\n\r\t] from templates.
Aleš Smodiš
2015-10-02
Bugfix: consider common and problem-specific hint types independently from co...
Aleš Smodiš
2015-10-02
Bugfix: default hint translations weren't composed correctly.
Aleš Smodiš
2015-10-02
Prepend instead of append new hints and bold the first shown hint.
Aleš Smodiš
2015-10-02
Define default translations for the "more" button in multi-part hints.
Aleš Smodiš
2015-10-02
Remove deprecated files.
Aleš Smodiš
2015-10-02
Bugfix console: remove click and blur event handlers on destroy, so new insta...
Aleš Smodiš
2015-10-02
Remove edge rounding on console lines.
Aleš Smodiš
2015-10-02
Remove code rot: class "translatable" is not used anymore.
Aleš Smodiš
[prev]
[next]