tree beaaa0e5553cde0a8b60b926ed21e1f85f0a4a46
parent 6d78045ff89654d4f440584f4e578a7612ecd411
author omar <omarcornut@gmail.com> 1532954168 +0200
committer omar <omarcornut@gmail.com> 1532954193 +0200

Internals: Fixed HoveredIdTimer so it is safe to call SetHoveredId() multiple times without altering the timer.