summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tests/Properties.hs22
1 files changed, 11 insertions, 11 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index a7ce18f..77a16cb 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -31,7 +31,7 @@ import qualified Data.Map as M
-- Some general hints for creating StackSet properties:
--
-- * ops that mutate the StackSet are usually local
--- * most ops on StackSet should either be trivially reversible, or
+-- * most ops on StackSet should either be trivially reversible, or
-- idempotent, or both.
--
@@ -91,7 +91,7 @@ hidden_spaces x = map workspace (visible x) ++ hidden x
-- Basic data invariants of the StackSet
--
-- With the new zipper-based StackSet, tracking focus is no longer an
--- issue: the data structure enforces focus by construction.
+-- issue: the data structure enforces focus by construction.
--
-- But we still need to ensure there are no duplicates, and master/and
-- the xinerama mapping aren't checked by the data structure at all.
@@ -181,7 +181,7 @@ prop_shift_win_I (n :: NonNegative Int) (w :: Char) (x :: T) =
-- 'new'
-- empty StackSets have no windows in them
-prop_empty (EmptyStackSet x) =
+prop_empty (EmptyStackSet x) =
all (== Nothing) [ stack w | w <- workspace (current x)
: map workspace (visible x) ++ hidden x ]
@@ -205,7 +205,7 @@ prop_view_current (x :: T) (n :: NonNegative Int) = i `tagMember` x ==>
where
i = fromIntegral n
--- view *only* sets the current workspace, and touches Xinerama.
+-- view *only* sets the current workspace, and touches Xinerama.
-- no workspace contents will be changed.
prop_view_local (x :: T) (n :: NonNegative Int) = i `tagMember` x ==>
workspaces x == workspaces (view i x)
@@ -238,7 +238,7 @@ prop_greedyView_current (x :: T) (n :: NonNegative Int) = i `tagMember` x ==>
where
i = fromIntegral n
--- greedyView *only* sets the current workspace, and touches Xinerama.
+-- greedyView *only* sets the current workspace, and touches Xinerama.
-- no workspace contents will be changed.
prop_greedyView_local (x :: T) (n :: NonNegative Int) = i `tagMember` x ==>
workspaces x == workspaces (greedyView i x)
@@ -296,7 +296,7 @@ prop_index_length (x :: T) =
--
-- master/focus
---
+--
-- The tiling order, and master window, of a stack is unaffected by focus changes.
--
prop_focus_left_master (n :: NonNegative Int) (x::T) =
@@ -458,7 +458,7 @@ prop_delete_focus_not_end (x :: T) =
-- preserve order
prop_filter_order (x :: T) =
case stack $ workspace $ current x of
- Nothing -> True
+ Nothing -> True
Just s@(Stack i _ _) -> integrate' (S.filter (/= i) s) == filter (/= i) (integrate' (Just s))
-- ---------------------------------------------------------------------
@@ -529,7 +529,7 @@ prop_shift_win_indentity i w (x :: T) =
-- shiftWin leaves the current screen as it is, if neither i is the tag
-- of the current workspace nor w on the current workspace
prop_shift_win_fix_current i w (x :: T) =
- i `tagMember` x && w `member` x && i /= n && findIndex w x /= Just n
+ i `tagMember` x && w `member` x && i /= n && findIndex w x /= Just n
==> (current $ x) == (current $ shiftWin i w x)
where
n = tag (workspace $ current x)
@@ -567,7 +567,7 @@ prop_lookup_current (x :: T) = lookupWorkspace scr x == Just tg
(Screen (Workspace tg _ _) scr _) = current x
-- looking at a visible tag
-prop_lookup_visible (x :: T) =
+prop_lookup_visible (x :: T) =
visible x /= [] ==>
fromJust (lookupWorkspace scr x) `elem` tags
where
@@ -627,7 +627,7 @@ prop_mapLayoutInverse (x::T) = x == mapLayout pred (mapLayout succ x)
{-
prop_tile_fullscreen rect = tile pct rect 1 1 == [rect]
--- multiple windows
+-- multiple windows
prop_tile_non_overlap rect windows nmaster = noOverlaps (tile pct rect nmaster windows)
where _ = rect :: Rectangle
@@ -703,7 +703,7 @@ main = do
,("focus up is local" , mytest prop_focus_up_local)
,("focus master is local" , mytest prop_focus_master_local)
,("focus master idemp" , mytest prop_focusMaster_idem)
-
+
,("focusWindow is local", mytest prop_focusWindow_local)
,("focusWindow works" , mytest prop_focusWindow_works)