add: default: return;
context: play_pause_set_label (Totem *totem, TotemStates state){	GtkWidget *image;	char *image_path;	switch (state)	{	case STATE_PLAYING:		totem_statusbar_set_text (TOTEM_STATUSBAR (totem->statusbar),				_("Playing"));		image_path = gnome_program_locate_file (NULL,				GNOME_FILE_DOMAIN_APP_DATADIR,				"totem/stock_media_pause.png", FALSE, NULL);		break;	case STATE_PAUSED:		totem_statusbar_set_text (TOTEM_STATUSBAR (totem->statusbar),				_("Paused"));		image_path = gnome_program_locate_file (NULL,				GNOME_FILE_DOMAIN_APP_DATADIR,				"totem/stock_media_play.png", FALSE, NULL);		break;	case STATE_STOPPED:		totem_statusbar_set_text (TOTEM_STATUSBAR (totem->statusbar),				_("Stopped"));		image_path = gnome_program_locate_file (NULL,				GNOME_FILE_DOMAIN_APP_DATADIR,				"totem/stock_media_play.png", FALSE, NULL);		break;	}	image = glade_xml_get_widget (totem->xml, "pp_image");	gtk_image_set_from_file (GTK_IMAGE (image), image_path);	image = glade_xml_get_widget (totem->xml, "fs_pp_image");	gtk_image_set_from_file (GTK_IMAGE (image), image_path);	g_free (image_path);}