diff options
| author | Don Stewart <dons@galois.com> | 2008-03-22 00:40:15 +0100 |
|---|---|---|
| committer | Don Stewart <dons@galois.com> | 2008-03-22 00:40:15 +0100 |
| commit | 645cf79b5d5713da7da2999c7c194b01e8a6a50e (patch) | |
| tree | cbab5f70c9d127623fcf087ee8e312eecb210834 /tests | |
| parent | 0abd1109c7f56fc59009e168a5433baf743bf6ae (diff) | |
| download | xmonad-645cf79b5d5713da7da2999c7c194b01e8a6a50e.tar.gz xmonad-645cf79b5d5713da7da2999c7c194b01e8a6a50e.tar.xz xmonad-645cf79b5d5713da7da2999c7c194b01e8a6a50e.zip | |
reenable quickcheck properties for layouts (no overlap, fullscreen)
darcs-hash:20080321234015-cba2c-56ead600613e43978a996f82991d6e5a6f4ca962.gz
Diffstat (limited to '')
| -rw-r--r-- | tests/Properties.hs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index 6135792..49b09fe 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -2,6 +2,7 @@ module Properties where import XMonad.StackSet hiding (filter) +import XMonad.Layout import qualified XMonad.StackSet as S (filter) import Debug.Trace @@ -656,8 +657,8 @@ prop_mapLayoutInverse (x::T) = x == mapLayout pred (mapLayout succ x) -- some properties for layouts: -- 1 window should always be tiled fullscreen -{- prop_tile_fullscreen rect = tile pct rect 1 1 == [rect] + where pct = 1/2 -- multiple windows prop_tile_non_overlap rect windows nmaster = noOverlaps (tile pct rect nmaster windows) @@ -679,8 +680,6 @@ noOverlaps xs = and [ verts a `notOverlap` verts b = (top1 < bottom2 || top2 < bottom1) || (right1 < left2 || right2 < left1) --} - ------------------------------------------------------------------------ main :: IO () @@ -808,10 +807,9 @@ main = do -- renaming -{- ,("tile 1 window fullsize", mytest prop_tile_fullscreen) ,("tiles never overlap", mytest prop_tile_non_overlap) --} + ] |