changeset 33309:733376438418

Declare parameter type for guiExit() more precisely. This is possible now that guiExit() isn't longer called by guiDone() with parameter DONE.
author ib
date Sat, 07 May 2011 15:58:06 +0000
parents 0c2f2368a031
children 464563f22be1
files gui/interface.c gui/interface.h
diffstat 2 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/gui/interface.c	Sat May 07 15:34:10 2011 +0000
+++ b/gui/interface.c	Sat May 07 15:58:06 2011 +0000
@@ -40,7 +40,6 @@
 #include "libvo/video_out.h"
 #include "libvo/x11_common.h"
 #include "mixer.h"
-#include "mp_core.h"
 #include "mp_msg.h"
 #include "mpcommon.h"
 #include "mplayer.h"
@@ -414,7 +413,7 @@
     }
 }
 
-void guiExit(int how)
+void guiExit(enum exit_reason how)
 {
     exit_player_with_rc(how, how >= EXIT_ERROR);
 }
--- a/gui/interface.h	Sat May 07 15:34:10 2011 +0000
+++ b/gui/interface.h	Sat May 07 15:58:06 2011 +0000
@@ -21,6 +21,7 @@
 
 #include "config.h"
 #include "m_config.h"
+#include "mp_core.h"
 #include "playtree.h"
 #include "stream/stream.h"
 
@@ -239,7 +240,7 @@
 void *gtkSet(int cmd, float fparam, void *vparam);
 void guiDone(void);
 void guiEventHandling(void);
-void guiExit(int how);
+void guiExit(enum exit_reason how);
 int guiGetEvent(int type, void *arg);
 void guiInit(void);
 void guiLoadFont(void);