From 491f1133f1d6b33abb10b666208f0c164f3f134a Mon Sep 17 00:00:00 2001 From: Don Stewart Date: Wed, 27 Feb 2008 18:55:54 +0100 Subject: test geometry setting darcs-hash:20080227175554-cba2c-e4615f2c9c25cea28ab0abbdb2ce9291247069c4 --- tests/Properties.hs | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'tests') 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) -- cgit v1.2.3