Hide Plan button if no (more) plans are available

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();
             }
         });