Gui/mplayer/gtk/opts.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16


#ifndef __PREFERENCES_H
#define __PREFERENCES_H

#include <gtk/gtk.h>

extern GtkWidget * OSSConfig;
extern GtkWidget * Preferences;
extern GtkWidget * prEFontName;

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

extern void ShowPreferences( void );

#endif