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

add floating property

Browse Source
This commit is contained in:
Don Stewart
2007-10-06 10:06:54 +00:00
parent aaaeae54c3
commit d83ce46a1e
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tests/Properties.hs
View File

@@ -542,6 +542,12 @@ prop_float_reversible n (x :: T) =
where where
geom = RationalRect 100 100 100 100 geom = RationalRect 100 100 100 100
-- check rectanges were set
prop_float_sets_geometry n (x :: T) =
n `member` x ==> let y = float n geom x in M.lookup y (floating x) == Just geom
where
geom = RationalRect 100 100 100 100
------------------------------------------------------------------------ ------------------------------------------------------------------------
prop_screens (x :: T) = n `elem` screens x prop_screens (x :: T) = n `elem` screens x