diff Gui/mplayer/gtk/pl.c @ 7009:98bed9e12087

- add dxr3 gui support (dialogbox, etc.) - fix one small dvd playing bug ( dvd playing don't del the playlist) - add some ifdef() check
author pontscho
date Wed, 14 Aug 2002 23:02:45 +0000
parents e32d3d0d8998
children 8e9607c5897e
line wrap: on
line diff
--- a/Gui/mplayer/gtk/pl.c	Wed Aug 14 21:56:31 2002 +0000
+++ b/Gui/mplayer/gtk/pl.c	Wed Aug 14 23:02:45 2002 +0000
@@ -12,6 +12,7 @@
 
 #include "../../../config.h"
 #include "../../../help_mp.h"
+#include "../../libmpdemux/stream.h"
 
 #include "../../interface.h"
 #include "../widgets.h"