blob: d4cc88ba0062aad77e03b0395710e9819e880043 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#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
|