diff options
| -rw-r--r-- | js/codeq/prolog.js | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js index 9a674e8..11958ce 100644 --- a/js/codeq/prolog.js +++ b/js/codeq/prolog.js @@ -190,7 +190,12 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ [problemDef.language, problemDef.group, problemDef.problem]); codeq.tr.registerDictionary('prolog', problemDef.translations); codeq.tr.translateDom(jqScreen); - jqBtnPlan.prop('disabled', !hinter.hasNextPlan()); + if (hinter.hasNextPlan()) { + jqBtnPlan.show(); + } + else { + jqBtnPlan.hide(); + } editor.on('change', function (instance, changeObj) { var doc = editor.getDoc(), @@ -210,7 +215,7 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ jqBtnPlan.on('click', function () { if (!hinter.planNext()) { - jqBtnPlan.prop('disabled', true).blur(); + jqBtnPlan.hide(); } }); |