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

add QuickCheck property for Full: it produces one window, it is fullscreen, and it is the current window

Browse Source
This commit is contained in:
Don Stewart 2008-03-22 00:20:26 +00:00
parent c5cca485df
commit 209b88f821
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
tests/Properties.hs
View File

@ -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)
]