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.

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) {