void ui_sensorpref_alarm_high_threshold_changed_cb(GtkSpinButton *, gpointer);
void ui_sensorpref_alarm_low_threshold_changed_cb(GtkSpinButton *, gpointer);
void ui_sensorpref_tree_selection_changed_cb(GtkTreeSelection *, gpointer);
void ui_sensorpref_alarm_high_threshold_changed_cb(GtkSpinButton *, gpointer);
void ui_sensorpref_alarm_low_threshold_changed_cb(GtkSpinButton *, gpointer);
void ui_sensorpref_tree_selection_changed_cb(GtkTreeSelection *, gpointer);