twin/xmonad
1
0
Fork 0
mirror of https://github.com/xmonad/xmonad.git synced 2025-08-06 07:01:52 -07:00
Code Issues Packages Projects Releases Wiki Activity

Quickcheck property to check that delete / focus behaviour

Browse Source 
See patch "Deleting a window should not affect focus". Checks this property.
This commit is contained in:
Rob
2007-05-25 03:54:32 +00:00
parent a36bd31973
commit 7afc18b0e1
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tests/Properties.hs
View File

@@ -392,6 +392,9 @@ prop_delete_local (x :: T) =
Nothing -> True Nothing -> True
Just i -> hidden_spaces x == hidden_spaces (delete i x) Just i -> hidden_spaces x == hidden_spaces (delete i x)
-- delete should not affect focus unless the focused element is what is being deleted
prop_delete_focus n (x :: T) = member n x && Just n /= peek x ==> peek (delete n x) == peek x
-- --------------------------------------------------------------------- -- ---------------------------------------------------------------------
-- swapLeft, swapRight, swapMaster: reordiring windows -- swapLeft, swapRight, swapMaster: reordiring windows
@@ -537,6 +540,7 @@ main = do
,("delete/member" , mytest prop_delete) ,("delete/member" , mytest prop_delete)
,("delete is reversible", mytest prop_delete_insert) ,("delete is reversible", mytest prop_delete_insert)
,("delete is local" , mytest prop_delete_local) ,("delete is local" , mytest prop_delete_local)
,("delete/focus" , mytest prop_delete_focus)
,("swapMaster: invariant", mytest prop_swap_master_I) ,("swapMaster: invariant", mytest prop_swap_master_I)
,("swapLeft: invariant" , mytest prop_swap_left_I) ,("swapLeft: invariant" , mytest prop_swap_left_I)