diff options
| author | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-05-08 23:09:52 +0200 |
|---|---|---|
| committer | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-05-08 23:09:52 +0200 |
| commit | a790561baafd8098cf0ec88e9b10484c81d99232 (patch) | |
| tree | 3d4fb257a449fae25ec6d199452031cb7795c659 | |
| parent | 875e33c95af3aa62d51611fceb37ddfc90633768 (diff) | |
| download | xmonad-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.hs | 6 |
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) |