rem: if (!gtk_playlist_has_next_mrl (totem->playlist))
add: if (gtk_playlist_has_next_mrl (totem->playlist) == FALSE && gtk_playlist_get_repeat (totem->playlist) == FALSE)
context: on_eos_event (GtkWidget *widget, gpointer user_data){	Totem *totem = (Totem *) user_data;	if (strcmp (totem->mrl, LOGO_PATH) == 0)		return FALSE;	if (!gtk_playlist_has_next_mrl (totem->playlist))	{		char *mrl;		/* Set play button status */		play_pause_set_label (totem, STATE_PAUSED);		gtk_playlist_set_at_start (totem->playlist);		update_buttons (totem);		mrl = gtk_playlist_get_current_mrl (totem->playlist);		totem_action_stop (totem);		totem_action_set_mrl (totem, mrl);		g_free (mrl);	} else {		totem_action_next (totem);	}	return FALSE;}