diff options
| -rw-r--r-- | tests/Properties.hs | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index aa536e3..072de76 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -667,11 +667,23 @@ prop_purelayout_tall n r1 r2 rect (t :: T) = length ts == length (index t) && noOverlaps (map snd ts) - where layoot = Tall n r1 r2 st = fromJust . stack . workspace . current $ t ts = pureLayout layoot rect st +-- pureLayout works. +prop_purelayout_full rect (t :: T) = + isJust (peek t) ==> + length ts == 1 -- only one window to view + && + snd (head ts) == rect -- and sets fullscreen + && + fst (head ts) == fromJust (peek t) -- and the focused window is shown + + where layoot = Full + st = fromJust . stack . workspace . current $ t + ts = pureLayout layoot rect st + -- multiple windows prop_tile_non_overlap rect windows nmaster = noOverlaps (tile pct rect nmaster windows) where _ = rect :: Rectangle @@ -822,6 +834,7 @@ main = do ,("tile 1 window fullsize", mytest prop_tile_fullscreen) ,("tiles never overlap", mytest prop_tile_non_overlap) ,("pure layout tall", mytest prop_purelayout_tall) + ,("pure layout full", mytest prop_purelayout_full) ] |