view Gui/mplayer/gtk/opts.h @ 6840:ed02bae611d5

- some cosmetic change in preferences - add *.wav to file selector - fix setlocale() bug
author pontscho
date Tue, 30 Jul 2002 11:50:20 +0000
parents 77980ab4e296
children 8e9607c5897e
line wrap: on
line source


#ifndef __PREFERENCES_H
#define __PREFERENCES_H

#include <gtk/gtk.h>

extern GtkWidget * OSSConfig;
extern GtkWidget * Preferences;
extern int    	   gtkVPreferences;
extern GtkWidget * prEFontName;

extern GtkWidget * create_Preferences( void );
extern GtkWidget * create_OSSConfig( void );

extern void ShowPreferences( void );

#endif