mirror of
https://github.com/xmonad/xmonad.git
synced 2025-08-01 12:41:53 -07:00
formatting and comments only
This commit is contained in:
17
Main.hs
17
Main.hs
@@ -104,13 +104,13 @@ handle e@(ConfigureRequestEvent {}) = do
|
|||||||
dpy <- gets display
|
dpy <- gets display
|
||||||
io $ configureWindow dpy (window e) (value_mask e) $
|
io $ configureWindow dpy (window e) (value_mask e) $
|
||||||
WindowChanges
|
WindowChanges
|
||||||
{ wcX = x e
|
{ wcX = x e
|
||||||
, wcY = y e
|
, wcY = y e
|
||||||
, wcWidth = width e
|
, wcWidth = width e
|
||||||
, wcHeight = height e
|
, wcHeight = height e
|
||||||
, wcBorderWidth = border_width e
|
, wcBorderWidth = border_width e
|
||||||
, wcSibling = above e
|
, wcSibling = above e
|
||||||
, wcStackMode = detail e
|
, wcStackMode = detail e
|
||||||
}
|
}
|
||||||
io $ sync dpy False
|
io $ sync dpy False
|
||||||
|
|
||||||
@@ -141,13 +141,12 @@ withWindows f = do
|
|||||||
modifyWindows f
|
modifyWindows f
|
||||||
refresh
|
refresh
|
||||||
|
|
||||||
-- | manage. Add a new window to be managed
|
-- | manage. Add a new window to be managed. Bring it into focus.
|
||||||
manage :: Window -> W ()
|
manage :: Window -> W ()
|
||||||
manage w = do
|
manage w = do
|
||||||
trace "manage"
|
|
||||||
d <- gets display
|
d <- gets display
|
||||||
withWindows (nub . (w :))
|
|
||||||
io $ mapWindow d w
|
io $ mapWindow d w
|
||||||
|
withWindows (nub . (w :))
|
||||||
|
|
||||||
-- | unmanage, a window no longer exists, remove it from the stack
|
-- | unmanage, a window no longer exists, remove it from the stack
|
||||||
unmanage :: Window -> W ()
|
unmanage :: Window -> W ()
|
||||||
|
Reference in New Issue
Block a user