June 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 20 Dec '13

20 Dec '13

Status: New Owner: ---- New issue 506 by nathan.c...@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 25 Sep '13

25 Sep '13

Status: New Owner: ---- New issue 533 by JohnTy...@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...@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 21 Jul '13

21 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 21 Jul '13

21 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 16 Jul '13

16 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

screen resolution and xmobar
by Yakir Gagnon 28 Jun '13

28 Jun '13

Hi! Started using Xmonad and love it, but: I'm using a laptop that I sometimes dock. I then have the laptop screen turned off and use instead a much larger separate screen. The resolution gets messed up when I login Xmonad (I guess it retained the laptop's original resolution). I then run*xrandr --output HDMI3 --mode 1920x1200* to change it to the larger screen's full resolution, and everything looks nice. But the xmobar doesn't stretch across the full width of the screen and the background desktop image is tiled to fill the whole screen... I guess what I'm asking is, how can I best set up .xsession and / or xmonad.hs (and .xmobarrc) to make this work? Ultimately I'd like it to work when I dock my laptop but also when the laptop isn't docked... Many thanks in advance for any kind of help! Yakir Gagnon Queensland Brain Institute (Bldg 79) University of Queensland St Lucia, Brisbane QLD 4072 Australia cell +61 0424 393 332

5 5

Issue 549 in xmonad: OPTIONS Pragma Deprecated
by codesite-noreply＠google.com 20 Jun '13

20 Jun '13

Status: New Owner: ---- New issue 549 by ad.mason...@gmail.com: OPTIONS Pragma Deprecated http://code.google.com/p/xmonad/issues/detail?id=549 The following files contain the deprecated OPTIONS pragma: xmonad/XMonad/Config.hs xmonad/tests/Properties.hs XMonadContrib/XMonad/Config/Bluetile.hs According to Section 7.18.2. OPTIONS_GHC pragma in the latest GHC documentation, OPTIONS_GHC should be used in place of OPTIONS (http://www.haskell.org/ghc/docs/latest/html/users_guide/pragmas.html) This issue was found in the latest (as of today) development darcs repo for xmonad and XMonadContrib. The following script was used to discover the used OPTIONS pragma in named files, using the find and grep utilities in FreeBSD 9.1: find ./ -type f -exec egrep -q "^{-# OPTIONS .*#-}$" {} \; -print I am a beginner Haskell programmer and Xmonad user so I have not yet been able to check whether the latest ghc ignores the OPTIONS pragma. -- 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 0