diff Gui/mplayer/widgets.h @ 1700:a0f28ba7c34a

gtk exit cleanup
author arpi
date Sun, 26 Aug 2001 00:28:56 +0000
parents d237c5d4b216
children e8f61691814e
line wrap: on
line diff
--- a/Gui/mplayer/widgets.h	Sat Aug 25 23:18:17 2001 +0000
+++ b/Gui/mplayer/widgets.h	Sun Aug 26 00:28:56 2001 +0000
@@ -80,6 +80,5 @@
 extern void gtkClearList( GtkWidget * list );
 extern void gtkSetDefaultToCList( GtkWidget * list,char * item );
 extern int  gtkFindCList( GtkWidget * list,char * item );
-extern void gtkExit( void );
 
 #endif
\ No newline at end of file