blob: 8b58fa139cfcd39ebfe8ab1b59aad7e4fad186c4 (
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
|
module XMonad.RotView ( rotView ) where
-- 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 m ()
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
|