diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2008-04-02 16:38:11 +0200 |
---|---|---|
committer | Joachim Breitner <mail@joachim-breitner.de> | 2008-04-02 16:38:11 +0200 |
commit | 7ec567bf2640730b90ee9d3ee9251006231c6d95 (patch) | |
tree | 8948ac12dbcfff8a7681aa82784d791452a960c4 /XMonad | |
parent | db6dd20842a007fce813f4302a2bac7ffda65b6f (diff) | |
download | XMonadContrib-7ec567bf2640730b90ee9d3ee9251006231c6d95.tar.gz XMonadContrib-7ec567bf2640730b90ee9d3ee9251006231c6d95.tar.xz XMonadContrib-7ec567bf2640730b90ee9d3ee9251006231c6d95.zip |
UNDO: _NET_ACTIVE_WINDOW moves windows if necessary
This makes EWMH behave a bit more like metacity: If _NET_ACTIVE_WINDOW is
received and the window is not on the current worspace, it is brought here
(instead of the workspace switched to the other one). So for example, if you
click on the pidgin icon in the panel and the buddy list is already open some
where it is moved here.
darcs-hash:20080402143811-23c07-5a30ef14a264a4f8ea8534c7667e966c89479a42.gz
Diffstat (limited to '')
-rw-r--r-- | XMonad/Hooks/EwmhDesktops.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/XMonad/Hooks/EwmhDesktops.hs b/XMonad/Hooks/EwmhDesktops.hs index 50959ed..4cf7432 100644 --- a/XMonad/Hooks/EwmhDesktops.hs +++ b/XMonad/Hooks/EwmhDesktops.hs @@ -100,7 +100,7 @@ ewmhDesktopsLogHook = withWindowSet $ \s -> do -- -- * _NET_WM_DESKTOP (move windows to other desktops) -- --- * _NET_ACTIVE_WINDOW (activate another window, possibly moving to the current desktop) +-- * _NET_ACTIVE_WINDOW (activate another window) -- ewmhDesktopsLayout :: layout a -> HandleEvent EwmhDesktopsHook layout a ewmhDesktopsLayout = eventHook EwmhDesktopsHook @@ -133,7 +133,7 @@ handle ClientMessageEvent { windows $ W.shiftWin (W.tag (ws !! n)) w else trace $ "Bad _NET_DESKTOP with data[0]="++show n else if mt == a_aw then do - windows $ W.focusWindow w . W.shiftWin (W.tag (W.workspace (W.current s))) w + windows $ W.focusWindow w else trace $ "Unknown ClientMessageEvent " ++ show mt handle _ = undefined -- does not happen, as otherwise ewmhDesktopsHook would not match |