diff options
author | daniel <daniel@wagner-home.com> | 2007-03-28 12:34:35 +0200 |
---|---|---|
committer | daniel <daniel@wagner-home.com> | 2007-03-28 12:34:35 +0200 |
commit | 9d0e6b9aef0470824436be2b5851bc419aa8727e (patch) | |
tree | a23a2b7826156fe9efd648c9d06c81f60f5d3e4b /StackSet.hs | |
parent | 6bdf7a9b136477cadaef81c7cbb725fbec705df3 (diff) | |
download | xmonad-9d0e6b9aef0470824436be2b5851bc419aa8727e.tar.gz xmonad-9d0e6b9aef0470824436be2b5851bc419aa8727e.tar.xz xmonad-9d0e6b9aef0470824436be2b5851bc419aa8727e.zip |
allow mouse to change current workspace
darcs-hash:20070328103435-c98ca-4d9fe6e66589e0bc9cbd79eabe41a559084ce37f.gz
Diffstat (limited to 'StackSet.hs')
-rw-r--r-- | StackSet.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/StackSet.hs b/StackSet.hs index 8f3493d..2e02468 100644 --- a/StackSet.hs +++ b/StackSet.hs @@ -163,11 +163,11 @@ delete k w = maybe w tweak (M.lookup k (cache w)) , focus = M.update (\k' -> if k == k' then elemAfter k (stacks w M.! i) else Just k') i (focus w) } -- | /O(log n)/. If the given window is contained in a workspace, make it the --- focused window of that workspace. +-- focused window of that workspace, and make that workspace the current one. raiseFocus :: Ord a => a -> StackSet a -> StackSet a raiseFocus k w = case M.lookup k (cache w) of Nothing -> w - Just i -> w { focus = M.insert i k (focus w) } + Just i -> w { focus = M.insert i k (focus w), current = i } -- | Move a window to the top of its workspace. promote :: Ord a => a -> StackSet a -> StackSet a |