aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSpencer Janssen <sjanssen@cse.unl.edu>2007-05-08 23:09:52 +0200
committerSpencer Janssen <sjanssen@cse.unl.edu>2007-05-08 23:09:52 +0200
commita790561baafd8098cf0ec88e9b10484c81d99232 (patch)
tree3d4fb257a449fae25ec6d199452031cb7795c659
parent875e33c95af3aa62d51611fceb37ddfc90633768 (diff)
downloadxmonad-a790561baafd8098cf0ec88e9b10484c81d99232.tar.gz
xmonad-a790561baafd8098cf0ec88e9b10484c81d99232.tar.xz
xmonad-a790561baafd8098cf0ec88e9b10484c81d99232.zip
Disable shift_reversible until focus issues are decided.
darcs-hash:20070508210952-a5988-becbb2c91df5be261943aefeb50f6849fc805067.gz
-rw-r--r--tests/Properties.hs6
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index d3a60ec..0766401 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -190,11 +190,15 @@ prop_view_idem (x :: T) r =
sz = size x
in view i (view i x) == (view i x)
+{-
+TODO: enable this property when we have a better story for focus.
+
prop_shift_reversible r (x :: T) =
let i = fromIntegral $ r `mod` sz
sz = size x
n = current x
in height n x > 0 ==> (view n . shift n . view i . shift i) x == x
+-}
prop_fullcache x = cached == allvals where
@@ -376,7 +380,7 @@ main = do
,("view/view ", mytest prop_viewview)
,("view idem ", mytest prop_view_idem)
- ,("shift reversible ", mytest prop_shift_reversible)
+ -- disabled, for now ,("shift reversible ", mytest prop_shift_reversible)
,("fullcache ", mytest prop_fullcache)
,("currentwsvisible ", mytest prop_currentwsvisible)