diff options
| author | Don Stewart <dons@galois.com> | 2007-10-06 12:06:54 +0200 |
|---|---|---|
| committer | Don Stewart <dons@galois.com> | 2007-10-06 12:06:54 +0200 |
| commit | 431a8c1c00bff2e3816a6acf93be87678d9a3626 (patch) | |
| tree | 1f4f7a83b4fb386858917519867f61e80714f460 /tests | |
| parent | cf12588b68d123645f27f84aa9e7fc64681d1ee4 (diff) | |
| download | xmonad-431a8c1c00bff2e3816a6acf93be87678d9a3626.tar.gz xmonad-431a8c1c00bff2e3816a6acf93be87678d9a3626.tar.xz xmonad-431a8c1c00bff2e3816a6acf93be87678d9a3626.zip | |
add floating property
darcs-hash:20071006100654-cba2c-bd3552becda4ce11803c40285685230c41bcce66.gz
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Properties.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index 7ef7e67..a850ffe 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -542,6 +542,12 @@ prop_float_reversible n (x :: T) = where geom = RationalRect 100 100 100 100 +-- check rectanges were set +prop_float_sets_geometry n (x :: T) = + n `member` x ==> let y = float n geom x in M.lookup y (floating x) == Just geom + where + geom = RationalRect 100 100 100 100 + ------------------------------------------------------------------------ prop_screens (x :: T) = n `elem` screens x |