2002-07-25 20:26:38 +00:00
|
|
|
|
|
|
|
|
#ifndef __PREFERENCES_H
|
|
|
|
|
#define __PREFERENCES_H
|
2001-08-25 21:04:29 +00:00
|
|
|
|
2001-11-14 16:05:33 +00:00
|
|
|
#include <gtk/gtk.h>
|
2001-08-25 21:04:29 +00:00
|
|
|
|
2002-07-25 20:26:38 +00:00
|
|
|
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 );
|
2001-08-25 21:04:29 +00:00
|
|
|
|
2001-11-14 16:05:33 +00:00
|
|
|
#endif
|
