1 files changed, 3 insertions, 8 deletions
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js
index a4a916f..111ea68 100644
--- a/js/codeq/prolog.js
+++ b/js/codeq/prolog.js
@@ -18,11 +18,10 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
     "use strict";
     var jqScreen = $('#screen_prolog'), // the screen container element
         // quadrants
-        jqDescription = jqScreen.find('.block1'),
         jqCode = jqScreen.find('.block2'),
         jqConsole = jqScreen.find('.block3'),
-        jqInfo = jqScreen.find('.block4'),
-        jqAllQuadrants = jqDescription.add(jqCode).add(jqConsole).add(jqInfo), // all the quadrants
+        jqInfo = jqScreen.find('.block-left'),
+        jqAllQuadrants = jqCode.add(jqConsole).add(jqInfo), // all the quadrants
         // buttons
         jqBtnPlan = jqScreen.find('.btn-plan'),
         jqBtnTest = jqScreen.find('.btn-test').ladda(),
@@ -61,7 +60,6 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
             jqScreen.css('display', 'none');
             prologHandler.destroy();
             prologHandler = null;
-            jqScreen.addClass('block1');
 
             $('#navigation-problem_list').css('display', 'none');
             var navigationProlog = $("#navigation-prolog");
@@ -166,8 +164,7 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
     });
 
     var createPrologHandler = function (problemDef, commonDef, currentSolution) {
-        var jqDescriptionContent = jqDescription.find('.description'),
-            jqEditor = jqCode.find('.code_editor'),
+        var jqEditor = jqCode.find('.code_editor'),
             jqTerminal = jqConsole.find('.console'),
             jqHints = jqInfo.find('.hints'),
             editor = codeq.makeEditor(jqEditor[0],
@@ -270,10 +267,8 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
                 activityHandler.flush();
                 hinter.destroy();
                 terminal.destroy();
-                jqDescriptionContent.empty();
                 jqEditor.empty(); // TODO: perhaps you do not want to "free" the editor, just empty it
                 jqTerminal.empty(); // TODO: the same with the console
-                jqDescriptionContent = null;
                 jqEditor = null;
                 jqTerminal = null;
                 jqHints = null;