diff Gui/mplayer/widgets.c @ 6996:163f78ece9c2

add uri2filename converter
author pontscho
date Wed, 14 Aug 2002 12:17:04 +0000
parents c2d4100c964e
children 9d21564cfc37
line wrap: on
line diff
--- a/Gui/mplayer/widgets.c	Wed Aug 14 09:15:31 2002 +0000
+++ b/Gui/mplayer/widgets.c	Wed Aug 14 12:17:04 2002 +0000
@@ -29,6 +29,7 @@
 
 #include "../../config.h"
 #include "../../help_mp.h"
+#include "../../mp_msg.h"
 
 GtkWidget     * PopUpMenu = NULL;