mirror of
https://github.com/xmonad/xmonad.git
synced 2025-08-05 06:31:54 -07:00
don't refresh on focus events
leads to a race. this will affect how gaps are redrawn when moving to a new screen with the mouse.
This commit is contained in:
@@ -220,7 +220,7 @@ setTopFocus = withWorkspace $ maybe (setFocusX =<< asks theRoot) setFocusX . W.p
|
|||||||
-- the mouse to a new screen).
|
-- 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 modify (\st -> st { windowset = W.focusWindow w s }) >> refresh
|
if W.member w s then modify (\st -> st { windowset = W.focusWindow w s }) -- >> refresh
|
||||||
else whenX (isRoot w) $ setFocusX w -- we could refresh here, moving gap too.
|
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
|
||||||
|
Reference in New Issue
Block a user