[vlc-devel] [PATCH 08/13] player: add the timer API
thomas at gllm.fr
Thu Aug 22 20:24:49 CEST 2019
I'm OK to remove the regular timer API, it make things too complicated. Users will still be able to spawn a vlc timer if they need it.
On Thu, Aug 22, 2019, at 18:03, Romain Vimont wrote:
> 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.
> vlc-devel mailing list
> To unsubscribe or modify your subscription options:
More information about the vlc-devel