index eaa999b001e923c785e20e0832ee2474a5f60603..868bc195a07e10c537b999cf9f9d412c4daeb347 100644 (file)
#include <gtk/gtkstyle.h> /* GtkWidget */
#include <gtk/gtktypeutils.h> /* GtkObject */
-bool spinbutton_focus_in (GtkWidget *w, GdkEventKey *event, gpointer data);
+gboolean spinbutton_focus_in (GtkWidget *w, GdkEventKey *event, gpointer data);
void spinbutton_undo (GtkWidget *w);
-bool spinbutton_keypress (GtkWidget *w, GdkEventKey *event, gpointer data);
+gboolean spinbutton_keypress (GtkWidget *w, GdkEventKey *event, gpointer data);
void spinbutton_defocus (GtkObject *container);
/*