diff options
| author | Jason Creighton <jcreigh@gmail.com> | 2007-05-16 05:14:37 +0200 |
|---|---|---|
| committer | Jason Creighton <jcreigh@gmail.com> | 2007-05-16 05:14:37 +0200 |
| commit | 18d3fa1ae2c4023cbee535832c40a6cc4470d403 (patch) | |
| tree | e598766453c94b3607a9d75b048d1da2a880a784 /tests | |
| parent | c819d0ecd11dac28536bb55b8e5226acff9f6757 (diff) | |
| download | metatile-18d3fa1ae2c4023cbee535832c40a6cc4470d403.tar metatile-18d3fa1ae2c4023cbee535832c40a6cc4470d403.zip | |
variable number of windows in master area
darcs-hash:20070516031437-b9aa7-03d82cb2565a45fa0e17a34c4c20740b51ff625c
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Properties.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 |