From 4a22ea4da1a81c2b4bc289fb8580ec763f85c62b Mon Sep 17 00:00:00 2001
From: Stefano Sabatini <stefano.sabatini-lala@poste.it>
Date: Fri, 22 Apr 2011 11:25:54 +0200
Subject: [PATCH] ffplay: rename video_refresh_timer() to video_refresh()

The new name is shorter and less confusing.
---
 ffplay.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ffplay.c b/ffplay.c
index 3377243f5c..7a6b72a43c 100644
--- 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: