-
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).
2341a17f