summaryrefslogtreecommitdiff
path: root/js/codemirror
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/codemirror
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/codemirror')
0 files changed, 0 insertions, 0 deletions