summaryrefslogtreecommitdiffstats
path: root/man
diff options
context:
space:
mode:
authorDon Stewart <dons@cse.unsw.edu.au>2007-05-08 07:11:26 +0200
committerDon Stewart <dons@cse.unsw.edu.au>2007-05-08 07:11:26 +0200
commitac7b08a67c5864795ee98c37bbe8f54de5ffce06 (patch)
treee09e7bcdd9a1b0acca04cb25806af201e526a647 /man
parenta888d1eb750d9df5738dabfb29337d249f2cd230 (diff)
downloadmetatile-ac7b08a67c5864795ee98c37bbe8f54de5ffce06.tar
metatile-ac7b08a67c5864795ee98c37bbe8f54de5ffce06.zip
Arbitrary instance for StackSet must set random focus on each workspace
When focus was separated from the stack order on each workspace, we forgot to update the Arbitrary instance to set random focus. As spotted by David R, this then invalidates 4 of our QC properties. In particular, the property involving where focus goes after a random transient (annoying behaviour) appeared to be correct, but wasn't, due to inadequate coverage. This patch sets focus to a random window on each workspace. As a result, we now catch the focus/raise/delete issue people have been complaining about. Lesson: make sure your QuickCheck generators are doing what you think they are. darcs-hash:20070508051126-9c5c1-55a0597e6838b35f12b3d348e85360cda6c237ca
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions