diff Gui/mplayer/widgets.h @ 6903:c2d4100c964e

- fix mixer handling - some change in menu - fix evLoadPlay bug - etc
author pontscho
date Sun, 04 Aug 2002 19:23:58 +0000
parents ded48a755830
children e5dda05f9aab
line wrap: on
line diff
--- a/Gui/mplayer/widgets.h	Sun Aug 04 19:15:45 2002 +0000
+++ b/Gui/mplayer/widgets.h	Sun Aug 04 19:23:58 2002 +0000
@@ -41,8 +41,6 @@
 extern Pixmap      guiIcon;
 extern Pixmap	   guiIconMask;
 
-extern int gtkVisible;
-
 extern void widgetsCreate( void );
 
 extern void gtkInit( void );
@@ -61,7 +59,4 @@
 extern void gtkSetLayer( GtkWidget * wdg );
 extern void gtkActive( GtkWidget * wdg );
 
-extern void gtkIncVisible( void );
-extern void gtkDecVisible( void );
-
 #endif