[xmonad] Issue 572 in xmonad: bug @ XMonad.Operations floatLocation

[codesite-noreply at google.com]

Status: New
Owner: ----

New issue 572 by rui.da... at gmail.com: bug @ XMonad.Operations floatLocation
http://code.google.com/p/xmonad/issues/detail?id=572

What steps will reproduce the problem?
1. trying to use XMonad.Operations floatLocation and dependents like:  
float...

What is the expected output?
float location should query the window and not the XConfig for the border  
width.

What do you see instead?
floatLocation uses border width from the XConfig instead of the window.
this conflicts with NoBorders when borders are toggled.

What version of the product are you using?
the one that come with my distro.

On what operating system?
debian wheezy.

Are you using an xmonad.hs?
yap.

Please attach it and the output of "xmonad --recompile".
compiles fine, works bad.

Please provide any additional information below.
--
-- such as the bug correction...
--
-- | Given a window, find the screen it is located on, and compute
-- the geometry of that window wrt. that screen.
floatLocation :: Window -> X (ScreenId, W.RationalRect)
floatLocation w = withDisplay $ \d -> do
     ws <- gets windowset
     wa <- io $ getWindowAttributes d w
     -- bw <- fi <$> asks (borderWidth . config) -- abc
     sc <- fromMaybe (W.current ws) <$> pointScreen (fi $ wa_x wa) (fi $  
wa_y wa)

     let sr = screenRect . W.screenDetail $ sc
         rr = W.RationalRect ((fi (wa_x wa) - fi (rect_x sr)) % fi  
(rect_width sr))
                             ((fi (wa_y wa) - fi (rect_y sr)) % fi  
(rect_height sr))
                             (fi (wa_width  wa + bw*2) % fi (rect_width sr))
                             (fi (wa_height wa + bw*2) % fi (rect_height sr))
         bw = wa_border_width wa -- abc

     return (W.screen sc, rr)
   where fi x = fromIntegral x


-- 
You received this message because this project is configured to send all  
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings