From f5e157075eb3cb4df666c4933b6300c6b85743de Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Mon, 15 Feb 2016 13:26:00 +0100
Subject: Do not reuse hint class names in a problem session
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reusing class names (e.g. “_emark_0”) caused an incorrect message (from
the previous hint) to be displayed for subsequent hints with the same
class.
---
 js/codeq/hint.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/js/codeq/hint.js b/js/codeq/hint.js
index 3df4cb2..05b9d2a 100644
--- a/js/codeq/hint.js
+++ b/js/codeq/hint.js
@@ -52,7 +52,6 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
                     popoverHintCleaners[i]();
                 }
                 popoverHintCleaners.length = 0;
-                hintCounter = 0;
             },
 
             addMark = function (start, end, style) {
-- 
cgit v1.2.1