From 9d0e6b9aef0470824436be2b5851bc419aa8727e Mon Sep 17 00:00:00 2001 From: daniel Date: Wed, 28 Mar 2007 12:34:35 +0200 Subject: allow mouse to change current workspace darcs-hash:20070328103435-c98ca-4d9fe6e66589e0bc9cbd79eabe41a559084ce37f.gz --- StackSet.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'StackSet.hs') 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 -- cgit v1.2.3