/**
* 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);
}