chiark / gitweb /
If you paste in a random seed with different ephemeral parameters
authorSimon Tatham <anakin@pobox.com>
Wed, 18 May 2005 17:41:53 +0000 (17:41 +0000)
committerSimon Tatham <anakin@pobox.com>
Wed, 18 May 2005 17:41:53 +0000 (17:41 +0000)
commitb1c0d665bd0b3d62f060b8a7d0e27b92bd03d2c1
tree8fa251ba1969ab2ce11ec135e6882bcdfcfa3d9a
parent4670313f6fe1790165040910121481d16d5f062c
If you paste in a random seed with different ephemeral parameters
from the currently configured ones, and then bring the Random Seed
box back up, the wrong parameters get shown, and the resulting
random seed is incorrect for the current game.

At least, it was, until this checkin.

[originally from svn r5808]
midend.c