Don Stewart 9f4fd822b6 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.

2007-05-08 05:11:26 +00:00

..

loc.hs

tweak loc count to match count_lines script

2007-04-18 22:47:25 +00:00

Properties.hs

Arbitrary instance for StackSet must set random focus on each workspace

2007-05-08 05:11:26 +00:00