[vlc-devel] [PATCH] lib: add libvlc_media_player_set_mouse_hide_timeout
remi at remlab.net
Fri Mar 6 21:02:57 CET 2015
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.
More information about the vlc-devel