/* fill types for box packing */
enum {FF, TF, FT, TT, LB};
/* generation 2 shortcuts */
void gui_relation_update(gpointer);
void gui_relation_update_widget(gpointer);
GtkWidget *gui_icon_button(const gchar *, const gchar *,
gpointer, gpointer,
GtkWidget *);
GtkWidget *gui_stock_button(const gchar *,
gpointer, gpointer,
GtkWidget *);
/* TODO - make auto_check use same protoype as direct_check */
GtkWidget *gui_auto_check(gchar *, gpointer , gpointer , gint *, GtkWidget *);
GtkWidget *gui_direct_check(gchar *, gint *, gpointer , gpointer , GtkWidget *);
/* my shortcut routines for gtk interface construction */
GtkWidget *new_csd(gchar *, gpointer);
GtkWidget *new_check_button(gchar *, gpointer, gpointer, gint, GtkWidget *);
GtkWidget *gui_button(gchar *, gpointer, gpointer, GtkWidget *, gint);
GtkWidget *gui_button_x(gchar *, gpointer, gpointer, GtkWidget *);
void gui_button_label(gchar *, gchar *, gpointer, gpointer, GtkWidget *);
void new_radio_group(gint, GtkWidget *, gint);
void gui_checkbox_refresh(GtkWidget *, GtkWidget *);
GtkWidget *add_radio_button(gchar *, gpointer, gpointer);
GtkWidget *new_spinner(gchar *, gdouble, gdouble, gdouble,
gpointer, gpointer, GtkWidget *);
GtkWidget *gui_auto_spin(gchar *, gdouble *, gdouble, gdouble, gdouble,
gpointer, gpointer, GtkWidget *);
GtkWidget *gui_direct_spin(gchar *, gdouble *, gdouble, gdouble, gdouble,
gpointer, gpointer, GtkWidget *);
GtkWidget *gui_new_spin(gchar *, gdouble, gdouble, gdouble,
gpointer, GtkWidget *);
GtkWidget *gui_direct_hscale(gdouble, gdouble, gdouble,
gpointer, gpointer, gpointer, GtkWidget *);
GtkWidget *gui_auto_text_label(gchar **);
GtkWidget *gui_auto_int_label(gint *);
GtkWidget *gui_auto_float_label(gdouble *);
GtkWidget *gui_text_window(gchar **, gint);
GtkWidget *gui_text_entry(gchar *, gchar **, gint, gint, GtkWidget *);
GtkWidget *gui_frame_vbox(const gchar *, gint, gint, GtkWidget *);
gpointer gui_pulldown_new(const gchar *, GList *, gint, GtkWidget *);
const gchar *gui_pulldown_text(gpointer);
void gui_colour_box(const gchar *, gdouble *, GtkWidget *);
gpointer gui_pd_new(GSList *, gint, gpointer, gpointer);
gchar *gui_pd_text(gpointer);
void gui_hbox_pack(GtkWidget *, gchar *, GtkWidget *, gint);
syntax highlighted by Code2HTML, v. 0.9.1