void ui_sensorpref_color_set_cb(GtkColorButton *, gpointer);
void ui_sensorpref_alarm_high_threshold_changed_cb(GtkSpinButton *, gpointer);
void ui_sensorpref_alarm_low_threshold_changed_cb(GtkSpinButton *, gpointer);
void ui_sensorpref_color_set_cb(GtkColorButton *, gpointer);
void ui_sensorpref_alarm_high_threshold_changed_cb(GtkSpinButton *, gpointer);
void ui_sensorpref_alarm_low_threshold_changed_cb(GtkSpinButton *, gpointer);