void on_general_theme_changed(int value);
void on_general_style_changed(int value);
void on_general_save_with_setup_changed(int state);
+ void on_general_start_all_sessions_changed(int state);
void on_view_zoomToFitDuringAcq_changed(int state);
void on_view_zoomToFitAfterAcq_changed(int state);
void on_view_triggerIsZero_changed(int state);