codeq-web.git - CodeQ web client

Age	Commit message (Collapse)	Author
2016-02-23	Remove explicit "Hint" button	Timotej Lazar
	Hints are now generated for each tested program, and the user can press a button to reveal the hints.
2016-02-15	Add license information to CSS files	Timotej Lazar

2015-12-09	Tweak console CSS	Timotej Lazar

2015-11-20	Prettify editor marks	Timotej Lazar

2015-11-19	Reduce bottom margin for popup hints	Timotej Lazar

2015-11-17	Support different highlight colors for popup hints	Timotej Lazar

2015-10-09	Reduce opacity of not-newest hints	Timotej Lazar

2015-10-06	Refactor renderLine	Timotej Lazar
	Hide the cursor when console is blurred. Do not change the color of character under cursor when cursor is in the unblinked phase.
2015-10-05	Highlight only the border around newest hint	Timotej Lazar

2015-10-05	Add some padding	Timotej Lazar

2015-10-02	Prepend instead of append new hints and bold the first shown hint.	Aleš Smodiš

2015-10-02	Remove edge rounding on console lines.	Aleš Smodiš

2015-10-01	block description fix; hint img centered;	Marko Pušnik

2015-10-01	Limit width of hint images to 80%.	Aleš Smodiš

2015-09-23	Place a border around individual static hints	Timotej Lazar

2015-09-18	Use a link instead of a button in a static hint sequence.	Aleš Smodiš

2015-09-17	Console fix: a line can now have multiple CSS classes, so text can e.g. now ↵	Aleš Smodiš
	be in multiple colors.
2015-09-16	Leave to Bootstrap to set the font for console (the <pre> element).	Aleš Smodiš

2015-09-16	Bugfix: console must not collapse spaces.	Aleš Smodiš

2015-09-15	Prolog handler now uses CodeQ terminal.	Aleš Smodiš

2015-09-03	Fix scrolling and line-breaking in CodeQ console	Timotej Lazar

2015-09-02	Bugfixed CodeQ Console, loaded it from prolog.html, added CSS and cursor ↵	Aleš Smodiš
	blinking.