[vlc-devel] [PATCH] lib: add libvlc_media_player_set_mouse_hide_timeout

[Rémi Denis-Courmont]

Le vendredi 06 mars 2015, 19:09:18 Mark Lee a écrit :
> This API sets the timeout period when hiding the mouse pointer for
> a media player.

The application should certainly be able to control the pointer, but this 
seems way too inflexible for most purposes...

AFAIK, LibVLC wil already leave the mouse pointer alone if you turn off mouse 
events, so I am not sure we actually need to change anything.

-- 
Rémi Denis-Courmont
http://www.remlab.net/