adds back highlighting on hover#22

Open

gunnnnii wants to merge 2 commits into

mainfrom

fix/hover-highlights

Commits on Oct 4, 2023

adds back highlighting on hover
gunnnnii
committed

Commits on Oct 6, 2023

adds a tooltip with the building name and hight into the heightgraph on hover
gunnnnii
committed