Fixes a bug introduced in 1.19.4, which made options stay focused even if you don't hover over them after clicking.
