mirror of
https://github.com/xmonad/xmonad.git
synced 2025-07-29 03:01:52 -07:00
35 lines
969 B
Haskell
35 lines
969 B
Haskell
{-# LANGUAGE ScopedTypeVariables #-}
|
|
module Properties.Layout.Full where
|
|
|
|
import Test.QuickCheck
|
|
import Instances
|
|
|
|
import XMonad.StackSet hiding (filter)
|
|
import XMonad.Core
|
|
import XMonad.Layout
|
|
|
|
import Data.Maybe
|
|
|
|
------------------------------------------------------------------------
|
|
-- Full layout
|
|
|
|
-- pureLayout works for Full
|
|
prop_purelayout_full rect = do
|
|
x <- (arbitrary :: Gen T) `suchThat` (isJust . peek)
|
|
let layout = Full
|
|
st = fromJust . stack . workspace . current $ x
|
|
ts = pureLayout layout rect st
|
|
return $
|
|
length ts == 1 -- only one window to view
|
|
&&
|
|
snd (head ts) == rect -- and sets fullscreen
|
|
&&
|
|
fst (head ts) == fromJust (peek x) -- and the focused window is shown
|
|
|
|
|
|
-- what happens when we send an IncMaster message to Full --- Nothing
|
|
prop_sendmsg_full (NonNegative k) =
|
|
isNothing (Full `pureMessage` SomeMessage (IncMasterN k))
|
|
|
|
prop_desc_full = description Full == show Full
|