diff options
author | Stefano Sabatini <stefano.sabatini-lala@poste.it> | 2011-04-22 11:25:54 +0200 |
---|---|---|
committer | Stefano Sabatini <stefano.sabatini-lala@poste.it> | 2011-04-27 11:26:53 +0200 |
commit | 4a22ea4da1a81c2b4bc289fb8580ec763f85c62b (patch) | |
tree | 8a202fe1cd801f740c76f8162ef888fc7cb02197 | |
parent | 8adf9bb2cb5fb9179cac5c33fd2adf847a8b4c71 (diff) | |
download | ffmpeg-4a22ea4da1a81c2b4bc289fb8580ec763f85c62b.tar.gz |
ffplay: rename video_refresh_timer() to video_refresh()
The new name is shorter and less confusing.
-rw-r--r-- | ffplay.c | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1117,7 +1117,7 @@ static double compute_target_time(double frame_current_pts, VideoState *is) } /* called to display each frame */ -static void video_refresh_timer(void *opaque) +static void video_refresh(void *opaque) { VideoState *is = opaque; VideoPicture *vp; @@ -2872,7 +2872,7 @@ static void event_loop(void) alloc_picture(event.user.data1); break; case FF_REFRESH_EVENT: - video_refresh_timer(event.user.data1); + video_refresh(event.user.data1); cur_stream->refresh=0; break; default: |