module XMonad.Prompt.Window
(
WindowPrompt(..),
windowPrompt,
windowMultiPrompt,
allWindows,
allApplications,
wsWindows,
XWindowMap,
) where
import XMonad.Prelude (forM)
import qualified Data.Map as M
import qualified XMonad.StackSet as W
import XMonad
import XMonad.Prompt
import XMonad.Actions.CopyWindow
import XMonad.Actions.WindowBringer
import XMonad.Util.NamedWindows
data WindowPrompt = Goto | Bring | BringCopy | BringToMaster | WithWindow String (Window -> X())
instance XPrompt WindowPrompt where
showXPrompt :: WindowPrompt -> WorkspaceId
showXPrompt WindowPrompt
Goto = WorkspaceId
"Go to window: "
showXPrompt WindowPrompt
Bring = WorkspaceId
"Bring window: "
showXPrompt WindowPrompt
BringToMaster
= WorkspaceId
"Bring window to master: "
showXPrompt WindowPrompt
BringCopy = WorkspaceId
"Bring a copy: "
showXPrompt (WithWindow WorkspaceId
xs Window -> X ()
_) = WorkspaceId
xs
commandToComplete :: WindowPrompt -> WorkspaceId -> WorkspaceId
commandToComplete WindowPrompt
_ WorkspaceId
c = WorkspaceId
c
nextCompletion :: WindowPrompt -> WorkspaceId -> [WorkspaceId] -> WorkspaceId
nextCompletion WindowPrompt
_ = WorkspaceId -> [WorkspaceId] -> WorkspaceId
getNextCompletion
data WindowModePrompt =
WindowModePrompt WindowPrompt (M.Map String Window) (String -> String -> Bool)
instance XPrompt WindowModePrompt where
showXPrompt :: WindowModePrompt -> WorkspaceId
showXPrompt (WindowModePrompt WindowPrompt
action Map WorkspaceId Window
_ WorkspaceId -> WorkspaceId -> Bool
_) =
forall t. XPrompt t => t -> WorkspaceId
showXPrompt WindowPrompt
action
completionFunction :: WindowModePrompt -> ComplFunction
completionFunction (WindowModePrompt WindowPrompt
_ Map WorkspaceId Window
winmap WorkspaceId -> WorkspaceId -> Bool
predicate) WorkspaceId
s =
forall (m :: * -> *) a. Monad m => a -> m a
return forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. (a -> Bool) -> [a] -> [a]
filter (WorkspaceId -> WorkspaceId -> Bool
predicate WorkspaceId
s) forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b. (a -> b) -> [a] -> [b]
map forall a b. (a, b) -> a
fst forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall k a. Map k a -> [(k, a)]
M.toList forall a b. (a -> b) -> a -> b
$ Map WorkspaceId Window
winmap
modeAction :: WindowModePrompt -> WorkspaceId -> WorkspaceId -> X ()
modeAction (WindowModePrompt WindowPrompt
action Map WorkspaceId Window
winmap WorkspaceId -> WorkspaceId -> Bool
_) WorkspaceId
buf WorkspaceId
auto = do
let name :: WorkspaceId
name = if forall (t :: * -> *) a. Foldable t => t a -> Bool
null WorkspaceId
auto then WorkspaceId
buf else WorkspaceId
auto
a :: WorkspaceId -> X ()
a = case WindowPrompt
action of
WindowPrompt
Goto -> WorkspaceId -> X ()
gotoAction
WindowPrompt
Bring -> WorkspaceId -> X ()
bringAction
WindowPrompt
BringCopy -> WorkspaceId -> X ()
bringCopyAction
WindowPrompt
BringToMaster -> WorkspaceId -> X ()
bringToMaster
WithWindow WorkspaceId
_ Window -> X ()
f -> forall {m :: * -> *}.
Monad m =>
(Window -> m ()) -> WorkspaceId -> m ()
withWindow Window -> X ()
f
WorkspaceId -> X ()
a WorkspaceId
name
where
withWindow :: (Window -> m ()) -> WorkspaceId -> m ()
withWindow Window -> m ()
f = forall a b c. (a -> b -> c) -> b -> a -> c
flip forall (m :: * -> *) a. Monad m => Maybe a -> (a -> m ()) -> m ()
whenJust Window -> m ()
f forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b c. (a -> b -> c) -> b -> a -> c
flip forall k a. Ord k => k -> Map k a -> Maybe a
M.lookup Map WorkspaceId Window
winmap
winAction :: (Window -> WindowSet -> WindowSet) -> WorkspaceId -> X ()
winAction Window -> WindowSet -> WindowSet
a = forall {m :: * -> *}.
Monad m =>
(Window -> m ()) -> WorkspaceId -> m ()
withWindow ((WindowSet -> WindowSet) -> X ()
windows forall b c a. (b -> c) -> (a -> b) -> a -> c
. Window -> WindowSet -> WindowSet
a)
gotoAction :: WorkspaceId -> X ()
gotoAction = (Window -> WindowSet -> WindowSet) -> WorkspaceId -> X ()
winAction forall s a i l sd.
(Eq s, Eq a, Eq i) =>
a -> StackSet i l a s sd -> StackSet i l a s sd
W.focusWindow
bringAction :: WorkspaceId -> X ()
bringAction = (Window -> WindowSet -> WindowSet) -> WorkspaceId -> X ()
winAction Window -> WindowSet -> WindowSet
bringWindow
bringCopyAction :: WorkspaceId -> X ()
bringCopyAction = (Window -> WindowSet -> WindowSet) -> WorkspaceId -> X ()
winAction Window -> WindowSet -> WindowSet
bringCopyWindow
bringToMaster :: WorkspaceId -> X ()
bringToMaster = (Window -> WindowSet -> WindowSet) -> WorkspaceId -> X ()
winAction (\Window
w WindowSet
s -> forall i l a s sd. StackSet i l a s sd -> StackSet i l a s sd
W.shiftMaster forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall s a i l sd.
(Eq s, Eq a, Eq i) =>
a -> StackSet i l a s sd -> StackSet i l a s sd
W.focusWindow Window
w forall a b. (a -> b) -> a -> b
$ Window -> WindowSet -> WindowSet
bringWindow Window
w WindowSet
s)
allWindows :: XWindowMap
allWindows :: XWindowMap
allWindows = XWindowMap
windowMap
allApplications :: XWindowMap
allApplications :: XWindowMap
allApplications = XWindowMap
windowAppMap
wsWindows :: XWindowMap
wsWindows :: XWindowMap
wsWindows = forall a. (WindowSet -> X a) -> X a
withWindowSet (forall (m :: * -> *) a. Monad m => a -> m a
return forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall i l a s sd. StackSet i l a s sd -> [a]
W.index) forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= [Window] -> XWindowMap
winmap
where
winmap :: [Window] -> XWindowMap
winmap = forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap forall k a. Ord k => [(k, a)] -> Map k a
M.fromList forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
(a -> m b) -> t a -> m (t b)
mapM Window -> X (WorkspaceId, Window)
pair
pair :: Window -> X (WorkspaceId, Window)
pair Window
w = do WorkspaceId
name <- forall a. Show a => a -> WorkspaceId
show forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Window -> X NamedWindow
getName Window
w
forall (m :: * -> *) a. Monad m => a -> m a
return (WorkspaceId
name, Window
w)
type XWindowMap = X (M.Map String Window)
windowPrompt :: XPConfig -> WindowPrompt -> XWindowMap -> X ()
windowPrompt :: XPConfig -> WindowPrompt -> XWindowMap -> X ()
windowPrompt XPConfig
c WindowPrompt
t XWindowMap
winmap = do
Map WorkspaceId Window
wm <- XWindowMap
winmap
let mode :: WindowModePrompt
mode = WindowPrompt
-> Map WorkspaceId Window
-> (WorkspaceId -> WorkspaceId -> Bool)
-> WindowModePrompt
WindowModePrompt WindowPrompt
t Map WorkspaceId Window
wm (XPConfig -> WorkspaceId -> WorkspaceId -> Bool
searchPredicate XPConfig
c)
action :: WorkspaceId -> WorkspaceId -> X ()
action = forall t. XPrompt t => t -> WorkspaceId -> WorkspaceId -> X ()
modeAction WindowModePrompt
mode
compList :: ComplFunction
compList = forall t. XPrompt t => t -> ComplFunction
completionFunction WindowModePrompt
mode
forall p.
XPrompt p =>
p -> XPConfig -> ComplFunction -> (WorkspaceId -> X ()) -> X ()
mkXPrompt WindowPrompt
t XPConfig
c ComplFunction
compList (\WorkspaceId
s -> WorkspaceId -> WorkspaceId -> X ()
action WorkspaceId
s WorkspaceId
s)
windowMultiPrompt :: XPConfig -> [(WindowPrompt, XWindowMap)] -> X ()
windowMultiPrompt :: XPConfig -> [(WindowPrompt, XWindowMap)] -> X ()
windowMultiPrompt XPConfig
c [(WindowPrompt, XWindowMap)]
modes = do
[XPType]
modes' <- forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
t a -> (a -> m b) -> m (t b)
forM [(WindowPrompt, XWindowMap)]
modes forall a b. (a -> b) -> a -> b
$ \(WindowPrompt
t, XWindowMap
wm) -> do
Map WorkspaceId Window
wm' <- XWindowMap
wm
forall (m :: * -> *) a. Monad m => a -> m a
return forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall p. XPrompt p => p -> XPType
XPT forall a b. (a -> b) -> a -> b
$ WindowPrompt
-> Map WorkspaceId Window
-> (WorkspaceId -> WorkspaceId -> Bool)
-> WindowModePrompt
WindowModePrompt WindowPrompt
t Map WorkspaceId Window
wm' (XPConfig -> WorkspaceId -> WorkspaceId -> Bool
searchPredicate XPConfig
c)
[XPType] -> XPConfig -> X ()
mkXPromptWithModes [XPType]
modes' XPConfig
c
bringCopyWindow :: Window -> WindowSet -> WindowSet
bringCopyWindow :: Window -> WindowSet -> WindowSet
bringCopyWindow Window
w WindowSet
ws = forall a i s l sd.
(Eq a, Eq i, Eq s) =>
a -> i -> StackSet i l a s sd -> StackSet i l a s sd
copyWindow Window
w (forall i l a s sd. StackSet i l a s sd -> i
W.currentTag WindowSet
ws) WindowSet
ws