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_close_clicked_cb(GtkButton *, gpointer);
#endif