twin/xmonad
1
0
Fork 0
mirror of https://github.com/xmonad/xmonad.git synced 2025-05-19 08:30:21 -07:00
Code Issues Packages Projects Releases Wiki Activity

test message handling of Full layout

Browse Source
This commit is contained in:
Don Stewart 2008-03-22 19:27:28 +00:00
parent d6233d0463
commit 90eae3fd63
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tests/Properties.hs
View File

@ -744,6 +744,11 @@ prop_purelayout_full rect (t :: T) =
st = fromJust . stack . workspace . current $ t st = fromJust . stack . workspace . current $ t
ts = pureLayout layoot rect st 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) ,("new fails with abort", mytest prop_new_abort)
,("shiftWin identity", mytest prop_shift_win_indentity) ,("shiftWin identity", mytest prop_shift_win_indentity)
-- renaming -- tall layout
,("tile 1 window fullsize", mytest prop_tile_fullscreen) ,("tile 1 window fullsize", mytest prop_tile_fullscreen)
,("tiles never overlap", mytest prop_tile_non_overlap) ,("tiles never overlap", mytest prop_tile_non_overlap)
,("pure layout tall", mytest prop_purelayout_tall) ,("pure layout tall", mytest prop_purelayout_tall)
,("send shrink tall", mytest prop_shrink_tall) ,("send shrink tall", mytest prop_shrink_tall)
,("send expand tall", mytest prop_expand_tall) ,("send expand tall", mytest prop_expand_tall)
,("send incmaster tall", mytest prop_incmaster_tall) ,("send incmaster tall", mytest prop_incmaster_tall)
-- full layout
,("pure layout full", mytest prop_purelayout_full) ,("pure layout full", mytest prop_purelayout_full)
,("send message full", mytest prop_sendmsg_full)
,("describe full", mytest prop_desc_full)
] ]