Fade out when *hovering* over the editor area if the the focus is still inside. Fixes #20.