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-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š
2015-10-02
Fix the layout bug for python and robots, too.
Aleš Smodiš
2015-10-02
Bugfix: change in HTML layout caused problem descriptions to disappear.
Aleš Smodiš
2015-10-02
B type problem screen ... so far only for Python
Marko Pušnik
2015-10-01
block description fix; hint img centered;
Marko Pušnik
2015-10-01
Add support for @img in templates.
Aleš Smodiš
2015-10-01
Submit activity when closing problem screen
Timotej Lazar
2015-10-01
Bugfix core.js: fallback JSONization function, resource resolving function.
Aleš Smodiš
2015-10-01
Limit width of hint images to 80%.
Aleš Smodiš
2015-10-01
Use codeq.templator() for hints. Support for images.
Aleš Smodiš
2015-10-01
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
Aleš Smodiš
2015-10-01
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
Aleš Smodiš
2015-10-01
Make hints auto-scrolling again by introducting a new div with class: scrolla...
Aleš Smodiš
2015-10-01
Use four-space indents for Prolog
Timotej Lazar
2015-10-01
Use 'value' option in CM constructor to set initial content
Timotej Lazar
2015-10-01
Bugfix: remove action has type 'rm', not 'r'
Timotej Lazar
2015-10-01
Bugfix: use hinter.hasNextPlan in prolog.js
Timotej Lazar
2015-10-01
Bugfix: rebuild any popovers after the editor's DOM changes.
Aleš Smodiš
2015-10-01
Fix displaying popup hints.
Aleš Smodiš
2015-10-01
robot editor layout and scrolling fix
Marko Pušnik
2015-09-30
Do not override user options in codeq.makeEditor
Timotej Lazar
2015-09-30
Remove CodeMirror panel addon
Timotej Lazar
[prev]
[next]