Rémi Denis-Courmont authored Aug 06, 2017 and Jean-Baptiste Kempf committed Aug 06, 2017

Most video output displays either defer mouse hiding to the window
provider plugin, or do not handle the mouse events at all.
So that ought to be the default.

Also kepe the default in those display plugins that don´t handle
cursor hiding (notably X11 ones).