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

comments on alternative gap movement policies

Browse Source
This commit is contained in:
Don Stewart
2007-05-27 15:32:11 +00:00
parent d16d751207
commit 25616c3b9f
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
Operations.hs
View File

@@ -210,11 +210,14 @@ setTopFocus :: X ()
setTopFocus = withWorkspace $ maybe (setFocusX =<< asks theRoot) setFocusX . W.peek setTopFocus = withWorkspace $ maybe (setFocusX =<< asks theRoot) setFocusX . W.peek
-- | Set focus explicitly to window 'w' if it is managed by us, or root. -- | Set focus explicitly to window 'w' if it is managed by us, or root.
-- This happens if X notices we've moved the mouse (and perhaps moved
-- the mouse to a new screen).
focus :: Window -> X () focus :: Window -> X ()
focus w = withWorkspace $ \s -> do focus w = withWorkspace $ \s -> do
if W.member w s then do modify $ \st -> st { windowset = W.focusWindow w s } -- avoid 'refresh' if W.member w s then do modify $ \st -> st { windowset = W.focusWindow w s } -- avoid 'refresh'
refresh -- and set gap -- was: setFocusX w refresh -- and set gap -- was: setFocusX w
else whenX (isRoot w) $ setFocusX w else whenX (isRoot w) $ setFocusX w
-- we could refresh here, moving gap too.
-- XXX a focus change could be caused by switching workspaces in xinerama. -- XXX a focus change could be caused by switching workspaces in xinerama.
-- if so, and the gap is in use, the gap should probably follow the -- if so, and the gap is in use, the gap should probably follow the
-- cursor to the new screen. -- cursor to the new screen.