[ui-Plugin Gtk] Add mouse pointer visibility management

⋅ Note: sometimes, if mouse moves while the window is changing,
 hide_mouse_pointer is called with an old motion_signal_id and a warning
 is printed.