/** * sound_cb * @widget: widget * @data: callback data * * Description: * handles message from the 'sound' checkbox **/ static void sound_cb (GtkWidget * widget, gpointer data) { properties.sound = GTK_TOGGLE_BUTTON (widget)->active; games_sound_enable (properties.sound); conf_set_enable_sound (properties.sound); }
/** * save_properties * * Description: * saves the game properties to a file * * Returns: * TRUE if the properties can be saved, FALSE otherwise **/ gboolean save_properties (void) { gint i; for (i = 0; i < 12; i++) { conf_set_control_key (i, properties.keys[i]); } conf_set_theme (properties.themename); conf_set_configuration (game_config_name (properties.selected_config)); conf_set_use_safe_moves (properties.safe_moves); conf_set_use_super_safe_moves (properties.super_safe_moves); conf_set_enable_sound (properties.sound); return TRUE; }
/** * sound_cb * @widget: widget * @data: callback data * * Description: * handles message from the 'sound' checkbox **/ static void sound_cb (GtkWidget * widget, gpointer data) { properties.sound = gtk_toggle_button_get_active (GTK_TOGGLE_BUTTON (widget)); conf_set_enable_sound (properties.sound); }