summaryrefslogtreecommitdiff
path: root/js/codeq
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-15 13:26:00 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-15 13:26:00 +0100
commitf5e157075eb3cb4df666c4933b6300c6b85743de (patch)
treeda7b16d877c9e3c10af7d0f9d5670a260c155d89 /js/codeq
parent98891fda0a2df5e0cc7294801efa707370d76446 (diff)
Do not reuse hint class names in a problem session
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.
Diffstat (limited to 'js/codeq')
-rw-r--r--js/codeq/hint.js1
1 files changed, 0 insertions, 1 deletions
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) {