diff options
author | Don Stewart <dons@galois.com> | 2008-02-27 18:55:54 +0100 |
---|---|---|
committer | Don Stewart <dons@galois.com> | 2008-02-27 18:55:54 +0100 |
commit | efa2fc011a34dbd581060edaa54dcce649d6e4df (patch) | |
tree | a2779b492a1ac0f92229fbed5a02182eb450c5c4 | |
parent | 4132a7e3eb7cb968c2c6d733cb9989b0f42a4e2f (diff) | |
download | xmonad-efa2fc011a34dbd581060edaa54dcce649d6e4df.tar.gz xmonad-efa2fc011a34dbd581060edaa54dcce649d6e4df.tar.xz xmonad-efa2fc011a34dbd581060edaa54dcce649d6e4df.zip |
test geometry setting
darcs-hash:20080227175554-cba2c-e4615f2c9c25cea28ab0abbdb2ce9291247069c4.gz
Diffstat (limited to '')
-rw-r--r-- | tests/Properties.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index ec2e32a..f2b8eb8 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -547,6 +547,12 @@ prop_float_reversible n (x :: T) = where geom = RationalRect 100 100 100 100 +prop_float_geometry n (x :: T) = + n `member` x ==> let s = float n geom x + in M.lookup n (floating s) == Just geom + where + geom = RationalRect 100 100 100 100 + -- check rectanges were set {- prop_float_sets_geometry n (x :: T) = @@ -756,6 +762,7 @@ main = do ,("shiftWin fix current" , mytest prop_shift_win_fix_current) ,("floating is reversible" , mytest prop_float_reversible) + ,("floating sets geometry" , mytest prop_float_geometry) ,("screens includes current", mytest prop_screens) ,("differentiate works", mytest prop_differentiate) ,("lookupTagOnScreen", mytest prop_lookup_current) |