{-# LANGUAGE MultiParamTypeClasses, TypeSynonymInstances, FlexibleContexts, PatternGuards #-}
module XMonad.Layout.Minimize (
Minimize,
minimize,
) where
import XMonad
import qualified XMonad.StackSet as W
import XMonad.Util.Minimize (Minimized(..))
import XMonad.Layout.LayoutModifier
import XMonad.Layout.BoringWindows as BW
import qualified XMonad.Util.ExtensibleState as XS
data Minimize a = Minimize deriving ( ReadPrec [Minimize a]
ReadPrec (Minimize a)
Int -> ReadS (Minimize a)
ReadS [Minimize a]
(Int -> ReadS (Minimize a))
-> ReadS [Minimize a]
-> ReadPrec (Minimize a)
-> ReadPrec [Minimize a]
-> Read (Minimize a)
forall a. ReadPrec [Minimize a]
forall a. ReadPrec (Minimize a)
forall a. Int -> ReadS (Minimize a)
forall a. ReadS [Minimize a]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
$creadsPrec :: forall a. Int -> ReadS (Minimize a)
readsPrec :: Int -> ReadS (Minimize a)
$creadList :: forall a. ReadS [Minimize a]
readList :: ReadS [Minimize a]
$creadPrec :: forall a. ReadPrec (Minimize a)
readPrec :: ReadPrec (Minimize a)
$creadListPrec :: forall a. ReadPrec [Minimize a]
readListPrec :: ReadPrec [Minimize a]
Read, Int -> Minimize a -> ShowS
[Minimize a] -> ShowS
Minimize a -> String
(Int -> Minimize a -> ShowS)
-> (Minimize a -> String)
-> ([Minimize a] -> ShowS)
-> Show (Minimize a)
forall a. Int -> Minimize a -> ShowS
forall a. [Minimize a] -> ShowS
forall a. Minimize a -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: forall a. Int -> Minimize a -> ShowS
showsPrec :: Int -> Minimize a -> ShowS
$cshow :: forall a. Minimize a -> String
show :: Minimize a -> String
$cshowList :: forall a. [Minimize a] -> ShowS
showList :: [Minimize a] -> ShowS
Show )
minimize :: l Window -> ModifiedLayout Minimize l Window
minimize :: forall (l :: * -> *). l Window -> ModifiedLayout Minimize l Window
minimize = Minimize Window -> l Window -> ModifiedLayout Minimize l Window
forall (m :: * -> *) (l :: * -> *) a.
m a -> l a -> ModifiedLayout m l a
ModifiedLayout Minimize Window
forall a. Minimize a
Minimize
instance LayoutModifier Minimize Window where
modifierDescription :: Minimize Window -> String
modifierDescription Minimize Window
_ = String
"Minimize"
modifyLayout :: forall (l :: * -> *).
LayoutClass l Window =>
Minimize Window
-> Workspace String (l Window) Window
-> Rectangle
-> X ([(Window, Rectangle)], Maybe (l Window))
modifyLayout Minimize Window
Minimize Workspace String (l Window) Window
wksp Rectangle
rect = do
minimized <- (Minimized -> [Window]) -> X [Window]
forall a (m :: * -> *) b.
(ExtensionClass a, XLike m) =>
(a -> b) -> m b
XS.gets Minimized -> [Window]
minimizedStack
let stack = Workspace String (l Window) Window -> Maybe (Stack Window)
forall i l a. Workspace i l a -> Maybe (Stack a)
W.stack Workspace String (l Window) Window
wksp
filtStack = Maybe (Stack Window)
stack Maybe (Stack Window)
-> (Stack Window -> Maybe (Stack Window)) -> Maybe (Stack Window)
forall a b. Maybe a -> (a -> Maybe b) -> Maybe b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (Window -> Bool) -> Stack Window -> Maybe (Stack Window)
forall a. (a -> Bool) -> Stack a -> Maybe (Stack a)
W.filter (Window -> [Window] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`notElem` [Window]
minimized)
runLayout (wksp {W.stack = filtStack}) rect
handleMess :: Minimize Window -> SomeMessage -> X (Maybe (Minimize Window))
handleMess Minimize Window
Minimize SomeMessage
m
| Just UpdateBoring
BW.UpdateBoring <- SomeMessage -> Maybe UpdateBoring
forall m. Message m => SomeMessage -> Maybe m
fromMessage SomeMessage
m = do
minimized <- (Minimized -> [Window]) -> X [Window]
forall a (m :: * -> *) b.
(ExtensionClass a, XLike m) =>
(a -> b) -> m b
XS.gets Minimized -> [Window]
minimizedStack
ws <- gets (W.workspace . W.current . windowset)
flip sendMessageWithNoRefresh ws $ BW.Replace "Minimize" minimized
return Nothing
| Bool
otherwise = Maybe (Minimize Window) -> X (Maybe (Minimize Window))
forall a. a -> X a
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe (Minimize Window)
forall a. Maybe a
Nothing