From f18a4a64da8e5e5e295cf676e5a56e6f1f1003b3 Mon Sep 17 00:00:00 2001
From: Don Stewart <dons@cse.unsw.edu.au>
Date: Sun, 27 May 2007 17:32:11 +0200
Subject: comments on alternative gap movement policies

darcs-hash:20070527153211-9c5c1-0a36be7dd8b8181597f21e362ac735b343746b79.gz
---
 Operations.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Operations.hs b/Operations.hs
index 32fdea9..e1ee0cd 100644
--- a/Operations.hs
+++ b/Operations.hs
@@ -210,11 +210,14 @@ setTopFocus :: X ()
 setTopFocus = withWorkspace $ maybe (setFocusX =<< asks theRoot) setFocusX . W.peek
 
 -- | 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 w = withWorkspace $ \s -> do
     if W.member w s then do modify $ \st -> st { windowset = W.focusWindow w s } -- avoid 'refresh'
                             refresh -- and set gap -- was: 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.
     -- if so, and the gap is in use, the gap should probably follow the
     -- cursor to the new screen. 
-- 
cgit v1.2.3