changeset 36940:6410fe917eac

Cosmetic: Rename symbolic constant GUI_END_FILE GUI_END_PLAY. It isn't restricted to files but ends the current playback in general.
author ib
date Fri, 21 Mar 2014 15:21:11 +0000
parents 2f9f23ba7da8
children 865e0513b5f4
files gui/interface.c gui/interface.h gui/win32/interface.c mplayer.c
diffstat 4 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/gui/interface.c	Fri Mar 21 15:17:13 2014 +0000
+++ b/gui/interface.c	Fri Mar 21 15:21:11 2014 +0000
@@ -785,7 +785,7 @@
         wsEvent(data);
         break;
 
-    case GUI_END_FILE:
+    case GUI_END_PLAY:
 
         guiInfo.sh_video = NULL;
 
--- a/gui/interface.h	Fri Mar 21 15:17:13 2014 +0000
+++ b/gui/interface.h	Fri Mar 21 15:21:11 2014 +0000
@@ -39,7 +39,7 @@
 
 /// gui() instructions
 enum {
-    GUI_END_FILE,
+    GUI_END_PLAY,
     GUI_HANDLE_X_EVENT,
     GUI_PREPARE,
     GUI_REDRAW,
--- a/gui/win32/interface.c	Fri Mar 21 15:17:13 2014 +0000
+++ b/gui/win32/interface.c	Fri Mar 21 15:21:11 2014 +0000
@@ -759,7 +759,7 @@
             }
             break;
         }
-        case GUI_END_FILE:
+        case GUI_END_PLAY:
         {
           guiInfo.sh_video = NULL;
 
--- a/mplayer.c	Fri Mar 21 15:17:13 2014 +0000
+++ b/mplayer.c	Fri Mar 21 15:21:11 2014 +0000
@@ -4140,7 +4140,7 @@
 #ifdef CONFIG_GUI
     if (use_gui)
         if (guiInfo.MediumChanged != GUI_MEDIUM_SAME)
-            gui(GUI_END_FILE, 0);
+            gui(GUI_END_PLAY, 0);
 #endif
 
     if (