*/
gboolean numeric_only (GtkWidget *source, GtkWidget *dest);
+/*
+ A pair of functions intended to be used as callbacks for the "toggled" signal
+ of a GtkToggleButton widget. They make the sensitivity of W follow the status
+ of the togglebutton.
+*/
+void set_sensitivity_from_toggle (GtkToggleButton *togglebutton, GtkWidget *w);
+void set_sensitivity_from_toggle_invert (GtkToggleButton *togglebutton, GtkWidget *w);
+
#endif