blob: bfe85f39d0eb1114208fc8605f9aef9c7994d5ff (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
module XMonadContrib.RotView ( rotView ) where
-- Provides bindings to cycle through non-empty workspaces.
-- To use:
-- include XMonad.RotView
-- , ((modMask .|. shiftMask, xK_Right), rotView True)
-- , ((modMask .|. shiftMask, xK_Left), rotView False)
import qualified Data.Map as M
import Control.Monad.State
import Operations ( view )
import XMonad ( X, WorkspaceId, workspace )
import StackSet ( StackSet, focus )
import qualified StackSet as W ( current )
rotView :: Bool -> X ()
rotView b = do ws <- gets workspace
let m = W.current ws
allws = if b then allWorkspaces ws else reverse $ allWorkspaces ws
n1 = safehead allws m
rot (f:fs) | f == m = safehead fs n1
| otherwise = rot fs
rot [] = n1
safehead fs f = case fs of { [] -> f; f':_ -> f'; }
view (rot allws)
-- | A list of all the workspaces.
allWorkspaces :: StackSet WorkspaceId j a -> [WorkspaceId]
allWorkspaces = M.keys . focus
|