# HG changeset patch
# User ib
# Date 1304783886 0
# Node ID 733376438418e0cd8353a21040e4d4be998d14ff
# Parent  0c2f2368a03147e6d01a2b1eb7974505a8cd6d38
Declare parameter type for guiExit() more precisely.

This is possible now that guiExit() isn't longer called
by guiDone() with parameter DONE.

diff -r 0c2f2368a031 -r 733376438418 gui/interface.c
--- 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);
 }
diff -r 0c2f2368a031 -r 733376438418 gui/interface.h
--- 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);