comparison: src/gaim.h
src/gaim.h
- changeset 1252
- 94fbface2d84
- parent 1250
- 46ac03911ab0
- child 1254
- acb7539010c0
equal
deleted
inserted
replaced
| 1251:3e28056c9e1e | 1252:94fbface2d84 |
|---|---|
| 708 extern char *event_name(enum gaim_event); | 708 extern char *event_name(enum gaim_event); |
| 709 extern int plugin_event(enum gaim_event, void *, void *, void *, void *); | 709 extern int plugin_event(enum gaim_event, void *, void *, void *, void *); |
| 710 | 710 |
| 711 /* Functions in prefs.c */ | 711 /* Functions in prefs.c */ |
| 712 extern void debug_printf( char * fmt, ... ); | 712 extern void debug_printf( char * fmt, ... ); |
| 713 #define debug_print(x) debug_printf(x); | |
| 713 extern void set_general_option(GtkWidget *, int *); | 714 extern void set_general_option(GtkWidget *, int *); |
| 714 extern void set_option(GtkWidget *, int *); | 715 extern void set_option(GtkWidget *, int *); |
| 715 extern void show_prefs(); | 716 extern void show_prefs(); |
| 716 extern void show_debug(GtkObject *); | 717 extern void show_debug(GtkObject *); |
| 717 extern void update_color(GtkWidget *, GtkWidget *); | 718 extern void update_color(GtkWidget *, GtkWidget *); |
