ffplay: rename video_refresh_timer() to video_refresh()
authorStefano Sabatini <stefano.sabatini-lala@poste.it>
Fri, 22 Apr 2011 09:25:54 +0000 (11:25 +0200)
committerStefano Sabatini <stefano.sabatini-lala@poste.it>
Wed, 27 Apr 2011 09:26:53 +0000 (11:26 +0200)
The new name is shorter and less confusing.

ffplay.c

index 3377243..7a6b72a 100644 (file)
--- a/ffplay.c
+++ b/ffplay.c
@@ -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: