diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-01 15:30:27 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-01 15:30:27 +0100 |
commit | 8123099f8655981e3f7984830fe8ca0154b7278e (patch) | |
tree | 0d5f9b874480e76e249852100931fc3df9bc6e51 /js/codeq/prolog.js | |
parent | 982522b5b9dfc39c10d08129b873aadf77b7293f (diff) |
Clear hints immediately when pressing Plan or Test
Diffstat (limited to 'js/codeq/prolog.js')
-rw-r--r-- | js/codeq/prolog.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js index 6e07784..0ae8206 100644 --- a/js/codeq/prolog.js +++ b/js/codeq/prolog.js @@ -220,6 +220,7 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ }); jqBtnPlan.on('click', function () { + hinter.clear(); if (!hinter.planNext()) { jqBtnPlan.hide(); } @@ -230,6 +231,7 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ // maintain the illusion var timeout = 500 + Math.random() * 1000; + hinter.clear(); $(editor.getWrapperElement()).addClass('disabled'); editor.setOption('readOnly', 'nocursor'); terminal.inputDisable(); |