Re: [FFmpeg-devel] [PATCH] ffplay: properly detect all window size changes

2019-08-14 Thread Marton Balint
On Wed, 14 Aug 2019, Reino Wijnsma wrote: On 2019-08-13T23:20:08+0200, Marton Balint wrote: SDL_WINDOWEVENT_SIZE_CHANGED should be used instead of SDL_WINDOWEVENT_RESIZED because SDL_WINDOWEVENT_RESIZED is only emitted if the resize happened due to an external event. Fixes ticket #8072.

Re: [FFmpeg-devel] [PATCH] ffplay: properly detect all window size changes

2019-08-14 Thread Reino Wijnsma
On 2019-08-13T23:20:08+0200, Marton Balint wrote: > SDL_WINDOWEVENT_SIZE_CHANGED should be used instead of SDL_WINDOWEVENT_RESIZED > because SDL_WINDOWEVENT_RESIZED is only emitted if the resize happened due to > an external event. > > Fixes ticket #8072. > > Additional references: >

Re: [FFmpeg-devel] [PATCH] ffplay: properly detect all window size changes

2019-08-14 Thread Paul B Mahol
LGTM On Tue, Aug 13, 2019 at 11:20 PM Marton Balint wrote: > SDL_WINDOWEVENT_SIZE_CHANGED should be used instead of > SDL_WINDOWEVENT_RESIZED > because SDL_WINDOWEVENT_RESIZED is only emitted if the resize happened due > to > an external event. > > Fixes ticket #8072. > > Additional references:

[FFmpeg-devel] [PATCH] ffplay: properly detect all window size changes

2019-08-13 Thread Marton Balint
SDL_WINDOWEVENT_SIZE_CHANGED should be used instead of SDL_WINDOWEVENT_RESIZED because SDL_WINDOWEVENT_RESIZED is only emitted if the resize happened due to an external event. Fixes ticket #8072. Additional references: https://bugzilla.libsdl.org/show_bug.cgi?id=4760