From 429651a103a81ffe89525c7abc266b3a6ec48aad Mon Sep 17 00:00:00 2001 From: Don Stewart Date: Fri, 28 Sep 2007 00:04:31 +0200 Subject: new QC properties: floating a window is reversible, screens includes current screen darcs-hash:20070927220431-cba2c-1f2e67435aec367ee45d0bcbf1e9178f83ff8a71.gz --- tests/Properties.hs | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'tests') diff --git a/tests/Properties.hs b/tests/Properties.hs index b42f463..aa698bc 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -524,6 +524,21 @@ prop_shift_win_fix_current i w (x :: T) = where n = tag (workspace $ current x) +------------------------------------------------------------------------ +-- properties for the floating layer: + +prop_float_reversible n (x :: T) = + n `member` x ==> sink n (float n geom x) == x + where + geom = RationalRect 100 100 100 100 + +------------------------------------------------------------------------ + +prop_screens (x :: T) = n `elem` screens x + where + n = current x + + ------------------------------------------------------------------------ -- some properties for layouts: @@ -652,6 +667,9 @@ main = do ,("shiftWin is shift on focus" , mytest prop_shift_win_focus) ,("shiftWin fix current" , mytest prop_shift_win_fix_current) + ,("floating is reversible" , mytest prop_float_reversible) + ,("screens includes current", mytest prop_screens) + {- ,("tile 1 window fullsize", mytest prop_tile_fullscreen) ,("tiles never overlap", mytest prop_tile_non_overlap) -- cgit v1.2.3