From 18d3fa1ae2c4023cbee535832c40a6cc4470d403 Mon Sep 17 00:00:00 2001 From: Jason Creighton Date: Wed, 16 May 2007 05:14:37 +0200 Subject: variable number of windows in master area darcs-hash:20070516031437-b9aa7-03d82cb2565a45fa0e17a34c4c20740b51ff625c --- tests/Properties.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tests') diff --git a/tests/Properties.hs b/tests/Properties.hs index d9f1fb5..01adc7d 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -265,10 +265,10 @@ prop_push_local (x :: T) i = not (member i x) ==> hidden x == hidden (push i x) -- some properties for layouts: -- 1 window should always be tiled fullscreen -prop_tile_fullscreen rect = tile pct rect 1 == [rect] +prop_tile_fullscreen rect = tile pct rect 1 1 == [rect] -- multiple windows -prop_tile_non_overlap rect windows = noOverlaps (tile pct rect windows) +prop_tile_non_overlap rect windows nmaster = noOverlaps (tile pct rect nmaster windows) where _ = rect :: Rectangle pct = 3 % 100 -- cgit v1.2.3