void ui_cb_menu_quit(GtkMenuItem *mi, gpointer data);
void ui_cb_sensor_preferences(GtkMenuItem *mi, gpointer data);
-struct psensor **ui_get_sensors_ordered_by_position(const struct ui_psensor *);
+struct psensor **ui_get_sensors_ordered_by_position(struct psensor **);
#endif