summaryrefslogtreecommitdiff
path: root/js/codeq/prolog.js
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-25 18:43:00 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-25 18:43:00 +0100
commit3ae1aeaefa875153e4abbe7a54c06b89ac1f875e (patch)
tree211135e0fe6fd646b439d5136a035ced68bea2b6 /js/codeq/prolog.js
parentb874b22e5b6816ab52012094671dda68d1b2b33c (diff)
Gray-out the editor while waiting for test results
Diffstat (limited to 'js/codeq/prolog.js')
-rw-r--r--js/codeq/prolog.js4
1 files changed, 3 insertions, 1 deletions
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js
index 11958ce..a4a916f 100644
--- a/js/codeq/prolog.js
+++ b/js/codeq/prolog.js
@@ -224,7 +224,8 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
// maintain the illusion
var timeout = 500 + Math.random() * 1000;
- editor.setOption('readOnly', true);
+ $(editor.getWrapperElement()).addClass('disabled');
+ editor.setOption('readOnly', 'nocursor');
terminal.inputDisable();
jqBtnTest.ladda('start');
@@ -245,6 +246,7 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
.fail(commError)
.fin(function () {
editor.setOption('readOnly', false);
+ $(editor.getWrapperElement()).removeClass('disabled');
terminal.inputEnable();
jqBtnTest.ladda('stop');
})