From 167d6f8e229ba140f7e954bcf93bbd73181b92ed Mon Sep 17 00:00:00 2001 From: Don Stewart Date: Sat, 22 Mar 2008 20:27:28 +0100 Subject: test message handling of Full layout darcs-hash:20080322192728-cba2c-661520de0c39367c99077e9487e0ff1054c4f024 --- tests/Properties.hs | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'tests') diff --git a/tests/Properties.hs b/tests/Properties.hs index c4d2b8b..0c08f96 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -744,6 +744,11 @@ prop_purelayout_full rect (t :: T) = st = fromJust . stack . workspace . current $ t ts = pureLayout layoot rect st +-- what happens when we send an IncMaster message to Full --- Nothing +prop_sendmsg_full (NonNegative k) = + isNothing (Full `pureMessage` (SomeMessage (IncMasterN k))) + +prop_desc_full = description Full == show Full ------------------------------------------------------------------------ @@ -887,17 +892,20 @@ main = do ,("new fails with abort", mytest prop_new_abort) ,("shiftWin identity", mytest prop_shift_win_indentity) - -- renaming + -- tall layout ,("tile 1 window fullsize", mytest prop_tile_fullscreen) ,("tiles never overlap", mytest prop_tile_non_overlap) ,("pure layout tall", mytest prop_purelayout_tall) - ,("send shrink tall", mytest prop_shrink_tall) ,("send expand tall", mytest prop_expand_tall) ,("send incmaster tall", mytest prop_incmaster_tall) + -- full layout + ,("pure layout full", mytest prop_purelayout_full) + ,("send message full", mytest prop_sendmsg_full) + ,("describe full", mytest prop_desc_full) ] -- cgit v1.2.3