diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-21 16:00:39 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-21 16:00:39 +0200 |
commit | 967d8ca786f57d1cad86dc1c7d1f2dc99b9ae7f7 (patch) | |
tree | 844c9c57bebdc43f7008e845493a84ffac450388 /js/codeq/prolog.js | |
parent | fbcca83fc33f3a622364ae90c5d82bbbdc9a9dc6 (diff) |
Show a spinner on hint/test buttons when clicked
Diffstat (limited to 'js/codeq/prolog.js')
-rw-r--r-- | js/codeq/prolog.js | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js index b73d037..6b7da9c 100644 --- a/js/codeq/prolog.js +++ b/js/codeq/prolog.js @@ -16,8 +16,8 @@ jqAllQuadrants = jqDescription.add(jqCode).add(jqConsole).add(jqInfo), // all the quadrants // buttons jqBtnPlan = jqScreen.find('.btn-plan'), - jqBtnHint = jqScreen.find('.btn-hint'), - jqBtnTest = jqScreen.find('.btn-test'), + jqBtnHint = jqScreen.find('.btn-hint').ladda(), + jqBtnTest = jqScreen.find('.btn-test').ladda(), jqAllButtons = jqBtnPlan.add(jqBtnHint).add(jqBtnTest), // all the buttons // misc currentSubState = null, @@ -245,7 +245,8 @@ jqBtnHint.on('click', function () { terminal.append('hint.\n', 'input'); terminal.inputDisable(); - var doc = editor.getDoc(); + jqBtnTest.prop('disabled', true); + jqBtnHint.ladda('start'); codeq.comms.sendHint({ 'language': 'prolog', 'program': editor.getDoc().getValue(), @@ -264,13 +265,16 @@ .fin(function () { terminal.inputEnable(); terminal.append('?- ', 'output'); + jqBtnHint.ladda('stop'); + jqBtnTest.prop('disabled', false); }) .done(); }); jqBtnTest.on('click', function () { terminal.append('test.\n', 'input'); terminal.inputDisable(); - var doc = editor.getDoc(); + jqBtnHint.prop('disabled', true); + jqBtnTest.ladda('start'); codeq.comms.sendTest({ 'language': 'prolog', 'program': editor.getDoc().getValue(), @@ -289,6 +293,8 @@ .fin(function () { terminal.inputEnable(); terminal.append('?- ', 'output'); + jqBtnTest.ladda('stop'); + jqBtnHint.prop('disabled', false); }) .done(); }); |