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 | 9ddd7149444e2adb40f7ce0d88ffbcdfaff03576 (patch) | |
| tree | 47d5a12179cd8c2e440e12545d589fc9c6c30dc3 /Config.hs | |
| parent | 30cf0a66c8054d7b68b277847374369599343168 (diff) | |
| download | xmonad-9ddd7149444e2adb40f7ce0d88ffbcdfaff03576.tar.gz xmonad-9ddd7149444e2adb40f7ce0d88ffbcdfaff03576.tar.xz xmonad-9ddd7149444e2adb40f7ce0d88ffbcdfaff03576.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.gz
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions