diff gui/interface.h @ 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 3ce656827dd7
children 45d8bfbd27bc
line wrap: on
line diff
--- 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);