Fix highlightEditorLine to clear all .hovered elements, not just .states.hovered

Co-authored-by: Azgaar <26469650+Azgaar@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-26 17:51:02 +00:00
parent b63589914a
commit 1a032e1db5
2 changed files with 2 additions and 2 deletions

View file

@ -247,7 +247,7 @@ function showMapTooltip(point, e, i, g) {
}
function highlightEditorLine(editor, id, timeout = 10000) {
Array.from(editor.getElementsByClassName("states hovered")).forEach(el => el.classList.remove("hovered")); // clear all hovered
Array.from(editor.getElementsByClassName("hovered")).forEach(el => el.classList.remove("hovered")); // clear all hovered
const hovered = Array.from(editor.querySelectorAll("div")).find(el => el.dataset.id == id);
if (hovered) hovered.classList.add("hovered"); // add hovered class
if (timeout)