view Gui/mplayer/gtk/opts.h @ 13981:3e82594ec231

correct encoding
author diego
date Fri, 19 Nov 2004 18:34:33 +0000
parents eb0d3c1b6c6d
children
line wrap: on
line source


#ifndef __PREFERENCES_H
#define __PREFERENCES_H

#include <gtk/gtk.h>

extern GtkWidget * AudioConfig;
extern GtkWidget * Preferences;
extern GtkWidget * prEFontName;

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

extern void ShowPreferences( void );

#endif