[vlc-devel] [PATCH 08/13] player: add the timer API

Romain Vimont rom1v at videolabs.io
Thu Aug 22 18:02:48 CEST 2019

On Thu, Aug 22, 2019 at 06:43:37PM +0300, Rémi Denis-Courmont wrote:
> Le torstaina 22. elokuuta 2019, 18.25.11 EEST Romain Vimont a écrit :
> > In that case, it should probably use the SOURCE timer, and use a local
> > thread to do stuff at the exact time it wants. (REGULAR is just an
> > helper for regular updates).
> I don't see the use case for regular.

Mainly to update a continuous UI slider.

More information about the vlc-devel mailing list