twin/xmonad
1
0
Fork 0
mirror of https://github.com/xmonad/xmonad.git synced 2025-08-06 07:01:52 -07:00
Code Issues Packages Projects Releases Wiki Activity

allow mouse to change current workspace

Browse Source
This commit is contained in:
daniel
2007-03-28 10:34:35 +00:00
parent 5ae3c6a1fc
commit 5e6407df7f
2 changed files with 2 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
StackSet.hs
View File

@@ -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) } , 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 -- | /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 :: Ord a => a -> StackSet a -> StackSet a
raiseFocus k w = case M.lookup k (cache w) of raiseFocus k w = case M.lookup k (cache w) of
Nothing -> w 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. -- | Move a window to the top of its workspace.
promote :: Ord a => a -> StackSet a -> StackSet a promote :: Ord a => a -> StackSet a -> StackSet a

3
TODO
View File

@@ -25,8 +25,5 @@
- change focus in the StackSet structure on EnterNotify - change focus in the StackSet structure on EnterNotify
- let mod+enter demote a master window - let mod+enter demote a master window
- borders (low priority, maybe wait until 0.2) - 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. * Tile vertically/ resize height.