Wenn das nicht mitgespeichert wird beim Abspeichern der Spieleinstellungen, dann vielleicht in der Konfigurationsdatei? Ich fände ja generell wünschenswert, daß man für jede Einstellung einzeln wählen könnte, ob man die speichern will oder nicht. Abgespeicherte Spieleinstellungen zu verwenden macht keinen Spaß, wenn dann auch der Kartenseed mitgespeichert wird. Will ich dann eine andere Karte spielen, muß ich mir eine Zahl aus den Fingern saugen, die dann oft vom Spiel nicht akzeptiert wird.