aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authorDon Stewart <dons@galois.com>2008-02-27 18:55:54 +0100
committerDon Stewart <dons@galois.com>2008-02-27 18:55:54 +0100
commitefa2fc011a34dbd581060edaa54dcce649d6e4df (patch)
treea2779b492a1ac0f92229fbed5a02182eb450c5c4 /tests
parent4132a7e3eb7cb968c2c6d733cb9989b0f42a4e2f (diff)
downloadxmonad-efa2fc011a34dbd581060edaa54dcce649d6e4df.tar.gz
xmonad-efa2fc011a34dbd581060edaa54dcce649d6e4df.tar.xz
xmonad-efa2fc011a34dbd581060edaa54dcce649d6e4df.zip
test geometry setting
darcs-hash:20080227175554-cba2c-e4615f2c9c25cea28ab0abbdb2ce9291247069c4.gz
Diffstat (limited to 'tests')
-rw-r--r--tests/Properties.hs7
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)