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

Add StackSet.allWindows

Browse Source
This commit is contained in:
Spencer Janssen
2007-10-01 16:39:59 +00:00
parent d05b01431d
commit acbe7976d7
2 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
tests/Properties.hs
View File

@@ -363,6 +363,8 @@ prop_findIndex (x :: T) =
, i <- focus t : up t ++ down t
]
prop_allWindowsMember w (x :: T) = (w `elem` allWindows x) ==> member w x
-- ---------------------------------------------------------------------
-- 'insert'
@@ -687,6 +689,7 @@ main = do
,("focusWindow works" , mytest prop_focusWindow_works)
,("findIndex" , mytest prop_findIndex)
,("allWindows/member" , mytest prop_allWindowsMember)
,("insert: invariant" , mytest prop_insertUp_I)
,("insert/new" , mytest prop_insert_empty)