diff options
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(); |