summaryrefslogtreecommitdiff
path: root/js/codeq/prolog.js
AgeCommit message (Expand)Author
2015-11-18Disable editor while waiting for hint/test resultsTimotej Lazar
2015-11-18Escape from editor using the escape keyTimotej Lazar
2015-11-18Do not output "hint"/"test" in Prolog terminalTimotej Lazar
2015-10-21Show a spinner on hint/test buttons when clickedTimotej Lazar
2015-10-06Rename state 'problem' to problem_listTimotej Lazar
2015-10-05Save current program in trace with each 'open' actionTimotej Lazar
2015-10-05Record all user activity in traceTimotej Lazar
2015-10-05Remove some stale commentsTimotej Lazar
2015-10-05Fix editor activity reportingTimotej Lazar
2015-10-05Move makeActivityHandler to core.jsTimotej Lazar
2015-10-04Adapted to changes in codeq-server: load_problem and end_problem upon enterin...Aleš Smodiš
2015-10-01Submit activity when closing problem screenTimotej Lazar
2015-10-01Use four-space indents for PrologTimotej Lazar
2015-10-01Use 'value' option in CM constructor to set initial contentTimotej Lazar
2015-10-01Bugfix: remove action has type 'rm', not 'r'Timotej Lazar
2015-10-01Bugfix: use hinter.hasNextPlan in prolog.jsTimotej Lazar
2015-09-29Correctly process hint_type and hint.Aleš Smodiš
2015-09-29Add a statusbar to the editor widgetTimotej Lazar
2015-09-29Temporary "plan" button fix: look at the presence of Slovene translation to d...Aleš Smodiš
2015-09-29login removed from navbarMarko Pušnik
2015-09-28CRLF -> LF conversion for python.js and prolog.js.Aleš Smodiš
2015-09-28Implement in-structure GUI translation for python and problem editing screens.Aleš Smodiš
2015-09-28Add 'r' (redo) for next answer in PrologTimotej Lazar
2015-09-28Update comment for previous commitTimotej Lazar
2015-09-27Bugfix: '\n' should be 'n' for next Prolog answerTimotej Lazar
2015-09-25refactor menu + some forms to use bootstrap properlyMarko Pušnik
2015-09-23Improve error handling for button actionsTimotej Lazar
2015-09-22enabled buttons in the navigation header (at least buttons on the left side o...Robert Zorko
2015-09-21Refactoring: simplified python.js and prolog.js, removed all DOM IDs except f...Aleš Smodiš
2015-09-18Enable auto-history in prolog console.Aleš Smodiš
2015-09-18Don't crash loading a prolog problem, if the problem has no plan set.Aleš Smodiš
2015-09-18Add "Plan" button to display next "planning" hintTimotej Lazar
2015-09-18Merge branch 'master' of ssh://212.235.189.51:22122/codeq-webRobert Zorko
2015-09-18divided the login and problem chooser into two different screensRobert Zorko
2015-09-18Reapply bugfix: join the array of removed character into a string, when the u...Aleš Smodiš
2015-09-18changes for th latest changesRobert Zorko
2015-09-18updated the python state with the last changes done to the prolog stateRobert Zorko
2015-09-18added another possible transition in the main app screen - the hint and test ...Robert Zorko
2015-09-18added some comments and improved the selection of the divs which are beeing c...Robert Zorko
2015-09-18updated for the recent changes in hte prolog and python.js filesRobert Zorko
2015-09-18added prolog state (I missed it in the previous commit)Robert Zorko