# HG changeset patch
# User ib
# Date 1395415271 0
# Node ID 6410fe917eacff8f2355d1338c3a025fafb18a8a
# Parent  2f9f23ba7da8b16142575cd69b845fd0d3fb703e
Cosmetic: Rename symbolic constant GUI_END_FILE GUI_END_PLAY.

It isn't restricted to files but ends the current playback in general.

diff -r 2f9f23ba7da8 -r 6410fe917eac gui/interface.c
--- 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;
 
diff -r 2f9f23ba7da8 -r 6410fe917eac gui/interface.h
--- 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,
diff -r 2f9f23ba7da8 -r 6410fe917eac gui/win32/interface.c
--- 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;
 
diff -r 2f9f23ba7da8 -r 6410fe917eac mplayer.c
--- 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 (