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

QC for pureLayout. confirm pureLayout . Tall produces no overlaps

Browse Source
This commit is contained in:
Don Stewart 2008-03-22 00:12:29 +00:00
parent 0593a282ca
commit c5cca485df
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
tests/Properties.hs
View File

@ -3,6 +3,7 @@ module Properties where
import XMonad.StackSet hiding (filter) import XMonad.StackSet hiding (filter)
import XMonad.Layout import XMonad.Layout
import XMonad.Core (pureLayout)
import qualified XMonad.StackSet as S (filter) import qualified XMonad.StackSet as S (filter)
import Debug.Trace import Debug.Trace
@ -660,6 +661,17 @@ prop_mapLayoutInverse (x::T) = x == mapLayout pred (mapLayout succ x)
prop_tile_fullscreen rect = tile pct rect 1 1 == [rect] prop_tile_fullscreen rect = tile pct rect 1 1 == [rect]
where pct = 1/2 where pct = 1/2
-- pureLayout works.
prop_purelayout_tall n r1 r2 rect (t :: T) =
isJust (peek 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
-- multiple windows -- multiple windows
prop_tile_non_overlap rect windows nmaster = noOverlaps (tile pct rect nmaster windows) prop_tile_non_overlap rect windows nmaster = noOverlaps (tile pct rect nmaster windows)
where _ = rect :: Rectangle where _ = rect :: Rectangle
@ -809,6 +821,7 @@ main = do
,("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)
] ]