May 2013 - xmonad - Haskell.org

Getting xmonad working with GNOME 3.8?
by William Ting 23 Feb '14

23 Feb '14

Hi, I've been using xmonad in GNOME 3.2 / 3.4 / 3.6 in fallback mode just fine, but the latest upgrade to GNOME 3.8 on Arch has rendered xmonad unusable. Does anybody know how to get xmonad working on GNOME again? Thanks, William

6 6

better combineTwoP and Property
by proxym 18 Jan '14

18 Jan '14

I modified combineTwoP and Property. http://hpaste.org/45435/combinetwoqb New name is combineTwoQB Now windows use full screen space always! (It was bug in combineTwoP, when all windows are in one pane only) Now you can use IsDialog property to detect dialog windows. Version with simplified config: http://hpaste.org/45439/combinetwoqb data Property = Title String | ClassName String | Resource String | Role String -- ^ WM_WINDOW_ROLE property | Machine String -- ^ WM_CLIENT_MACHINE property | And Property Property | Or Property Property | Not Property | IsDialog -- ^^^^^ _NET_WM_WINDOW_TYPE _NET_WM_WINDOW_TYPE_DIALOG | AtomProperty String String | Const Bool deriving (Read, Show) infixr 9 `And` infixr 8 `Or` -- | Does given window have this property? hasProperty :: Property -> Window -> X Bool hasProperty (Title s) w = withDisplay $ \d -> fmap (Just s ==) $ io $ fetchName d w hasProperty (Resource s) w = withDisplay $ \d -> fmap ((==) s . resName ) $ io $ getClassHint d w hasProperty (ClassName s) w = withDisplay $ \d -> fmap ((==) s . resClass) $ io $ getClassHint d w hasProperty (Role s) w = withDisplay $ \d -> fmap ((==) (Just s)) $ getStringProperty d w "WM_WINDOW_ROLE" hasProperty (Machine s) w = withDisplay $ \d -> fmap ((==) (Just s)) $ getStringProperty d w "WM_CLIENT_MACHINE" hasProperty (IsDialog) w = hasProperty (AtomProperty "_NET_WM_WINDOW_TYPE" "_NET_WM_WINDOW_TYPE_DIALOG") w hasProperty (AtomProperty sKey sValue) w = withDisplay $ \d -> checkAtomProperty d w sKey sValue hasProperty (And p1 p2) w = do { r1 <- hasProperty p1 w; r2 <- hasProperty p2 w; return $ r1 && r2 } hasProperty (Or p1 p2) w = do { r1 <- hasProperty p1 w; r2 <- hasProperty p2 w; return $ r1 || r2 } hasProperty (Not p1) w = do { r1 <- hasProperty p1 w; return $ not r1 } hasProperty (Const b) _ = return b -- | Does the focused window have this property? focusedHasProperty :: Property -> X Bool focusedHasProperty p = do ws <- gets windowset let ms = W.stack $ W.workspace $ W.current ws case ms of Just s -> hasProperty p $ W.focus s Nothing -> return False -- | Find all existing windows with specified property allWithProperty :: Property -> X [Window] allWithProperty prop = withDisplay $ \dpy -> do rootw <- asks theRoot (_,_,wins) <- io $ queryTree dpy rootw hasProperty prop `filterM` wins -- | Convert property to 'Query' 'Bool' (see "XMonad.ManageHook") propertyToQuery :: Property -> Query Bool propertyToQuery (Title s) = title =? s propertyToQuery (Resource s) = resource =? s propertyToQuery (ClassName s) = className =? s propertyToQuery (Role s) = stringProperty "WM_WINDOW_ROLE" =? s propertyToQuery (Machine s) = stringProperty "WM_CLIENT_MACHINE" =? s propertyToQuery (IsDialog) = propertyToQuery (AtomProperty "_NET_WM_WINDOW_TYPE" "_NET_WM_WINDOW_TYPE_DIALOG") propertyToQuery (AtomProperty k v) = (ask >>= (\w -> liftX $ withDisplay $ \d -> checkAtomProperty d w k v)) =? True propertyToQuery (And p1 p2) = propertyToQuery p1 <&&> propertyToQuery p2 propertyToQuery (Or p1 p2) = propertyToQuery p1 <||> propertyToQuery p2 propertyToQuery (Not p) = not `fmap` propertyToQuery p propertyToQuery (Const b) = return b -- $helpers -- | Get a window property from atom getProp32 :: Atom -> Window -> X (Maybe [CLong]) getProp32 a w = withDisplay $ \dpy -> io $ getWindowProperty32 dpy a w -- | Get a window property from string getProp32s :: String -> Window -> X (Maybe [CLong]) getProp32s str w = do { a <- getAtom str; getProp32 a w } checkAtomProperty d w sKey sValue = do sk <- getAtom sKey sv <- getAtom sValue md <- io $ getWindowProperty32 d sk w case md of Just mm -> if (fromIntegral sv `elem` mm) then return True else return False _ ->return False data SwapWindow = SwapWindow -- ^ Swap window between panes | SwapWindowN Int -- ^ Swap window between panes in the N-th nested ComboP. @SwapWindowN 0@ equals to SwapWindow deriving (Read, Show, Typeable) instance Message SwapWindow data CombineTwoQB l l1 l2 a = C2P [a] [a] [a] l (l1 a) (l2 a) Property deriving (Read, Show) combineTwoQB :: (LayoutClass super(), LayoutClass l1 Window, LayoutClass l2 Window) => super () -> l1 Window -> l2 Window -> Property -> CombineTwoQB (super ()) l1 l2 Window combineTwoQB = C2P [] [] [] instance (LayoutClass l (), LayoutClass l1 Window, LayoutClass l2 Window) => LayoutClass (CombineTwoQB (l ()) l1 l2) Window where doLayout (C2P f w1 w2 super l1 l2 prop) rinput s = let origws = W.integrate s -- passed in windows w1c = origws `intersect` w1 -- current windows in the first pane w2c = origws `intersect` w2 -- current windows in the second pane new = origws \\ (w1c ++ w2c) -- new windows superstack = Just Stack { W.focus=(), up=[], down=[()] } f' = W.focus s:delete (W.focus s) f -- list of focused windows, contains 2 elements at most in do matching <- (hasProperty prop) `filterM` new -- new windows matching predecate let w1' = w1c ++ (new \\ matching) -- updated first pane windows w2' = w2c ++ matching -- updated second pane windows s1 = differentiate f' w1' -- first pane stack s2 = differentiate f' w2' -- second pane stack if not (null w1' || null w2') then do ([((),r1),((),r2)], msuper') <- runLayout (Workspace "" super superstack) rinput (wrs1, ml1') <- runLayout (Workspace "" l1 s1) r1 (wrs2, ml2') <- runLayout (Workspace "" l2 s2) r2 (return (wrs1++wrs2, Just $ C2P f' w1' w2' (maybe super id msuper') (maybe l1 id ml1') (maybe l2 id ml2') prop)) else case (w1' ++ w2') of [] -> do l1' <- maybe l1 id `fmap` handleMessage l1 (SomeMessage ReleaseResources) l2' <- maybe l2 id `fmap` handleMessage l2 (SomeMessage ReleaseResources) super' <- maybe super id `fmap` handleMessage super (SomeMessage ReleaseResources) (return ([], Just $ C2P [] [] [] super' l1' l2' prop)) [w] -> do l1' <- maybe l1 id `fmap` handleMessage l1 (SomeMessage ReleaseResources) l2' <- maybe l2 id `fmap` handleMessage l2 (SomeMessage ReleaseResources) super' <- maybe super id `fmap` handleMessage super (SomeMessage ReleaseResources) (return ([(w,rinput)], Just $ C2P [w] [w] [] super' l1' l2' prop)) ww -> do ([((),r1),((),r2)], msuper') <- runLayout (Workspace "" super superstack) rinput (wrs1, ml1') <- runLayout (Workspace "" l1 s1) rinput (wrs2, ml2') <- runLayout (Workspace "" l2 s2) rinput (return (wrs1++wrs2, Just $ C2P f' w1' w2' (maybe super id msuper') (maybe l1 id ml1') (maybe l2 id ml2') prop)) handleMessage us@(C2P f ws1 ws2 super l1 l2 prop) m | Just SwapWindow <- fromMessage m = swap us | Just (SwapWindowN 0) <- fromMessage m = swap us | Just (SwapWindowN n) <- fromMessage m = forwardToFocused us $ SomeMessage $ SwapWindowN $ n-1 | Just (MoveWindowToWindow w1 w2) <- fromMessage m, w1 `elem` ws1, w2 `elem` ws2 = return $ Just $ C2P f (delete w1 ws1) (w1:ws2) super l1 l2 prop | Just (MoveWindowToWindow w1 w2) <- fromMessage m, w1 `elem` ws2, w2 `elem` ws1 = return $ Just $ C2P f (w1:ws1) (delete w1 ws2) super l1 l2 prop | otherwise = do ml1' <- handleMessage l1 m ml2' <- handleMessage l2 m msuper' <- handleMessage super m if isJust msuper' || isJust ml1' || isJust ml2' then return $ Just $ C2P f ws1 ws2 (maybe super id msuper') (maybe l1 id ml1') (maybe l2 id ml2') prop else return Nothing description (C2P _ _ _ super l1 l2 prop) = "CC0" --"combining " ++ description l1 ++ " and " ++ description l2 ++ " with " ++ description super ++ " using "++ (show prop) -- send focused window to the other pane. Does nothing if we don't -- own the focused window swap :: (LayoutClass s a, LayoutClass l1 Window, LayoutClass l2 Window) => CombineTwoQB (s a) l1 l2 Window -> X (Maybe (CombineTwoQB (s a) l1 l2 Window)) swap (C2P f ws1 ws2 super l1 l2 prop) = do mst <- gets (W.stack . W.workspace . W.current . windowset) let (ws1', ws2') = case mst of Nothing -> (ws1, ws2) Just st -> if foc `elem` ws1 then (foc `delete` ws1, foc:ws2) else if foc `elem` ws2 then (foc:ws1, foc `delete` ws2) else (ws1, ws2) where foc = W.focus st if (ws1,ws2) == (ws1',ws2') then return Nothing else return $ Just $ C2P f ws1' ws2' super l1 l2 prop -- forwards the message to the sublayout which contains the focused window forwardToFocused :: (LayoutClass l1 Window, LayoutClass l2 Window, LayoutClass s a) => CombineTwoQB (s a) l1 l2 Window -> SomeMessage -> X (Maybe (CombineTwoQB (s a) l1 l2 Window)) forwardToFocused (C2P f ws1 ws2 super l1 l2 prop) m = do ml1 <- forwardIfFocused l1 ws1 m ml2 <- forwardIfFocused l2 ws2 m ms <- if isJust ml1 || isJust ml2 then return Nothing else handleMessage super m if isJust ml1 || isJust ml2 || isJust ms then return $ Just $ C2P f ws1 ws2 (maybe super id ms) (maybe l1 id ml1) (maybe l2 id ml2) prop else return Nothing -- forwards message m to layout l if focused window is among w forwardIfFocused :: (LayoutClass l Window) => l Window -> [Window] -> SomeMessage -> X (Maybe (l Window)) forwardIfFocused l w m = do mst <- gets (W.stack . W.workspace . W.current . windowset) maybe (return Nothing) send mst where send st = if (W.focus st) `elem` w then handleMessage l m else return Nothing -- code from CombineTwo -- given two sets of zs and xs takes the first z from zs that also belongs to xs -- and turns xs into a stack with z being current element. Acts as -- StackSet.differentiate if zs and xs don't intersect differentiate :: Eq q => [q] -> [q] -> Maybe (Stack q) differentiate (z:zs) xs | z `elem` xs = Just $ Stack { W.focus=z , up = reverse $ takeWhile (/=z) xs , down = tail $ dropWhile (/=z) xs } | otherwise = differentiate zs xs differentiate [] xs = W.differentiate xs myManageHook0 = composeAll -- help1: run: xprop | grep WM_CLASS -- help2: run: xprop | egrep "CLASS|NAME" [ -- manage hooks appName =? "gimp" --> doFloat , isFullscreen --> doFullFloat -------for flash in ff -------, isDialog --> doCenterFloat ------------, isDialog --> doSink --------------------------------------------------------------- -----, propertyToQuery (IsDialog) --> doSink , propertyToQuery (myDialogs) --> doSink ] --where moveTo = doF . W.shift --where moveTo = doShift where moveTo = doF . liftM2 (.) W.greedyView W.shift --myManageHook = myManageHook0 <+> manageDocks <+> manageHook gnomeConfig myManageHook = myManageHook0 <+> manageDocks <+> manageHook defaultConfig doSink :: ManageHook doSink = ask >>= \w -> liftX (reveal w) >> doF (W.sink w) myTabbed0 = tabbed shrinkText defaultTheme myTabbed = combineTwoQB (Mirror (Tall 1 (3/100) (3/5))) (myTabbed0) (myTabbed0) (myDialogs) myDialogs = (IsDialog) `Or` (ClassName "Dialog") `Or` (ClassName "dialog") `Or` (ClassName "Toplevel") `Or` (ClassName "Chat") `Or` (ClassName "Message") --myTabber is resulted layout. you must not import standard Property -- to use my combineTwoQB -- (i use xmonad 0.9) -- Best regards, Michael

4 12

Issue 506 in xmonad: cabal install xmonad-contrib --flags="-use_xft" fails with GHC 7.4.1
by codesite-noreply＠google.com 19 Dec '13

19 Dec '13

Status: New Owner: ---- New issue 506 by nathan.c...(a)gmail.com: cabal install xmonad-contrib --flags="-use_xft" fails with GHC 7.4.1 http://code.google.com/p/xmonad/issues/detail?id=506 What steps will reproduce the problem? 1. cabal install xmonad 2. cabal install xmonad-contrib --flags="-use_xft" What is the expected output? What do you see instead? Expect it to install, instead I get an error about needing -XDatatypeContexts. What version of the product are you using? On what operating system? xmonad-contrib-0.10 on Ubuntu 11.04 using GHC 7.4.1 Please provide any additional information below. I can successfully install by adding the suggested GHC option: cabal install xmonad-contrib --flags="-use_xft" --ghc-option=-XDatatypeContexts

1 2

Issue 533 in xmonad: clearUrgency should be exported from XMonad.Hooks.UrgencyHook
by codesite-noreply＠google.com 24 Sep '13

24 Sep '13

Status: New Owner: ---- New issue 533 by JohnTy...(a)gmail.com: clearUrgency should be exported from XMonad.Hooks.UrgencyHook http://code.google.com/p/xmonad/issues/detail?id=533 I was trying to make it such that windows which are banished off screen on hidden scratch pad workspaces *never* get urgency set. It was not possible to do so without making my own Urgency Hook, which was fine, except that in order to make it I had no choice but to modify the source and add clearUrgency to the export list. Since "clearUrgents" is exported, which just applies "clearUrgency" to all windows, I don't see why the latter shouldn't also be available. data FilterUrgencyHook = FilterUrgencyHook [String] instance UrgencyHook FilterUrgencyHook where urgencyHook (FilterUrgencyHook skips) w = do ws <- gets windowset case W.findTag w ws of Just tag -> when (tag `elem` skips) (clearUrgency w) _ -> return () -- 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

1 8

Issue 498 in xmonad: Borders are not around the window with the focus
by codesite-noreply＠google.com 26 Jul '13

26 Jul '13

Status: New Owner: ---- New issue 498 by rlblas...(a)gmail.com: Borders are not around the window with the focus http://code.google.com/p/xmonad/issues/detail?id=498 What steps will reproduce the problem? 1. Open a terminal and open a file from it in evince. E.g. type "evince a.pdf &" (assuming a.pdf exists in the current directory). 2. Now evince comes into the focus, it has the borders around its window. 3. Go back to the terminal and type "evince a.pdf". This should refresh evince. 4. Observe that evince is in focus by pressing j/k or other evince shortcuts. 5. Also observe that the terminal's window still has borders around it like it's in focus. Basically the focus and the border decoration is not in sync. One of the applications should have both the focus and the border. $ xmonad --version xmonad 0.10

1 3

patches to use data-default
by Daniel Wagner 20 Jul '13

20 Jul '13

I noticed that there's a lot of places in xmonad and xmonad-contrib where we have manually-namespaced, monomorphic default values (especially for configurations and such things). The data-default package was designed for this, so I've drawn up a patch to use it. I've included two patch bundles, one for the xmonad repository, and one for the xmonad-contrib repository. (Technically, I have enough permissions to apply the xmonad-contrib ones myself; but I wanted to invite some review.) The bundle for -contrib includes three patches, in roughly increasing order of pervasiveness: 1. the minimal change to make things compile with the -core patch 2. a patch which eliminates all references to defaultConfig (including in the documentation) 3. a patch that uses data-default for things like defaultXPConfig, defaultPP, and similar things I've done my best to: * maintain backwards compatibility. Configs that use these symbols should generate a warning, but still work perfectly correctly. * ensure that all the places that used to export default values now also export "def", so that working configs can eliminate the warnings without changing their imports (or at worst change imports of defaultXPConfig, etc. to imports of def) Enjoy! ~d

7 8

Did the latest patch break the build?
by Carsten Mattner 20 Jul '13

20 Jul '13

Did the latest patch break the build for anyone else? Building xmonad-contrib-0.11... ... XMonad/Util/CustomKeys.hs:66:29: Not in scope: `def'

4 8

Issue 436 in xmonad: XMonad.Layout.IM doesn't match UTF8 chars
by codesite-noreply＠google.com 15 Jul '13

15 Jul '13

Status: New Owner: ---- New issue 436 by o.a.stephens: XMonad.Layout.IM doesn't match UTF8 chars http://code.google.com/p/xmonad/issues/detail?id=436 I am encountering the same issue as per http://code.google.com/p/xmonad/issues/detail?id=302 using his same test case. What steps will reproduce the problem? 1. Configure withIM layout to match a window title with UTF8 chars as roster. Ex: withIM (1%7) (Title "foo™") (Tall 1 0.5 0.5) 2. Run a window with the configured name. Ex: xterm -T "foo™" -e read What is the expected output? What do you see instead? The window should be placed as withIM layout roster. In this case, on a separated column to the left. What version of the product are you using? On what operating system? Latest XMonad Darcs on Arch X86_64. Are you using an xmonad.hs? Please attach it and the output of "xmonad --recompile". No output from xmonad --recompile. Please provide any additional information below. Comments from #xmonad having queried my issue: <allbery_b> I'm looking at darcs... WindowProperties uses the ManageHook code (!! --- more evidence that it's mis-typed) and ManageHook.hs in the core uses getStringProperty everywhere <allbery_b> (in particular it's using it for _NET_WM_* which is completely wrong as they are all defined as Unicode stored as 32 bit lists) <allbery_b> suggest you reopen that bug report, or file a new one about _NET_WM_* being misinterpreted I am attempting to match Skype's window title, which also contains the ™ character. Attachments: xmonad.hs 483 bytes

1 3

Issue 546 in xmonad: Suggested improvement to CycleRecentWS for multiple screens
by codesite-noreply＠google.com 02 Jun '13

02 Jun '13

Status: New Owner: ---- New issue 546 by ch...(a)cmears.id.au: Suggested improvement to CycleRecentWS for multiple screens http://code.google.com/p/xmonad/issues/detail?id=546 XMonad.Action.CycleRecentWS defines a function to cycle through workspaces according to how recently they were shown. The code specifically puts the current workspace at the end (although it is technically the most recent), which is a good idea. With multiple screens, the visible workspace on the other screen is then considered to be the most recent visible workspace, so it switches there first. I reckon it should not do this, and instead that workspace should be demoted to the end of the list, just like the current one. Here is my suggested change to cycleRecentWS. I can't be really confident that I fixed it the right way, but it does seem to work for me. cycleRecentWS = cycleWindowSets options where options w = map (view `flip` w) (recentTags w) nscreens w = length (screens w) recentTags w = map tag $ drop (nscreens w) (workspaces w) ++ reverse (take (nscreens w) (workspaces w)) -- 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

1 5

Multi-display layout help
by Mark Watts 30 May '13

30 May '13

Hi, I have two monitors and I'd like to configure Xmonad so that if I switch to a workspace and it's on a different monitor from the one with the currently focused window, the workspace gets pulled to that monitor, BUT when I leave that workspace it should return to the monitor it was pulled from. Is there a layout that already handles this? -- Cheers, Mark Watts Department of Computer Science University of Texas at Austin

1 0