00001 00020 #ifndef __INTERFACE_EVENT_DISPATCHER_H_ 00021 #define __INTERFACE_EVENT_DISPATCHER_H_ 00022 00023 #include <gtk/gtk.h> 00024 00032 int dispatch_event(gint event); 00033 00044 int dispatch_event_string(gchar *event); 00045 00046 #endif