From ef6ff953e8ab5be8d542b33d26963141662fa0ea 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 --- StackSet.hs | 4 ++-- TODO | 3 --- 2 files changed, 2 insertions(+), 5 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 diff --git a/TODO b/TODO index 37579f5..1001ad4 100644 --- a/TODO +++ b/TODO @@ -25,8 +25,5 @@ - change focus in the StackSet structure on EnterNotify - let mod+enter demote a master window - borders (low priority, maybe wait until 0.2) - - let focus-follows-mouse also change the active workspace (not just the - active window); note that this currently also makes click-to-focus appear - slightly buggy, since sometimes, the wrong window is exempted from setButtonGrab * Tile vertically/ resize height. -- cgit v1.2.3