diff options
author | Rob <bobstopper@bobturf.org> | 2007-05-25 05:54:32 +0200 |
---|---|---|
committer | Rob <bobstopper@bobturf.org> | 2007-05-25 05:54:32 +0200 |
commit | 2540344a947aacb24ceb0066ebfa493cf3ba61bf (patch) | |
tree | 47d5a12179cd8c2e440e12545d589fc9c6c30dc3 /tests/Catch.hs | |
parent | 5667522998a8992695db039fff144902a20ddee6 (diff) | |
download | metatile-2540344a947aacb24ceb0066ebfa493cf3ba61bf.tar metatile-2540344a947aacb24ceb0066ebfa493cf3ba61bf.zip |
Quickcheck property to check that delete / focus behaviour
See patch "Deleting a window should not affect focus". Checks this property.
darcs-hash:20070525035432-64d90-e1b1684a128a8336c14be3479b088988a5ddbd35
Diffstat (limited to 'tests/Catch.hs')
0 files changed, 0 insertions, 0 deletions