diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-15 13:26:00 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-15 13:26:00 +0100 |
| commit | f5e157075eb3cb4df666c4933b6300c6b85743de (patch) | |
| tree | da7b16d877c9e3c10af7d0f9d5670a260c155d89 /js/codemirror | |
| parent | 98891fda0a2df5e0cc7294801efa707370d76446 (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