Forget about hovered links when not hovering them anymore.

This commit is contained in:
Florian Nücke 2015-04-08 13:11:12 +02:00
parent d49bb94e56
commit 9a23e10a91

View File

@ -109,7 +109,7 @@ class Manual extends GuiScreen {
case _ => case _ =>
} }
hoveredLink = segment.link hoveredLink = segment.link
case _ => case _ => hoveredLink = None
} }
} }