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 | 9f2a16d8682c2842b59ffdf3c9e182ec044f54de (patch) | |
| tree | e598766453c94b3607a9d75b048d1da2a880a784 /tests/Properties.hs | |
| parent | 0bcb67752095fb875ff79715b90be84577698234 (diff) | |
| download | xmonad-9f2a16d8682c2842b59ffdf3c9e182ec044f54de.tar.gz xmonad-9f2a16d8682c2842b59ffdf3c9e182ec044f54de.tar.xz xmonad-9f2a16d8682c2842b59ffdf3c9e182ec044f54de.zip | |
variable number of windows in master area
darcs-hash:20070516031437-b9aa7-03d82cb2565a45fa0e17a34c4c20740b51ff625c.gz
Diffstat (limited to '')
| -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 |