index eaa999b001e923c785e20e0832ee2474a5f60603..683748d0a7f1ca1d943d7da0e482f5934ee6dbe8 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);
/*
fill-column:99
End:
*/
-// vim: filetype=cpp:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:encoding=utf-8:textwidth=99 :
+// vim: filetype=cpp:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:fileencoding=utf-8:textwidth=99 :