July 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 552 in xmonad: Prompt.Workspace wrong completion
by codesite-noreply＠google.com 25 Dec '13

25 Dec '13

Status: New Owner: ---- New issue 552 by fistonbe...(a)gmail.com: Prompt.Workspace wrong completion http://code.google.com/p/xmonad/issues/detail?id=552 This happens with workspaces with names containing spaces and is related to the default implementation for nextCompletion and commandToComplete (class XPrompt) which shouldn't be used here. 1. type the name of a workspace which contains spaces on a workspace prompt; 2. hit tab; 3. workspaces whose name start with the last word on prompt are shown. The whole prompt should be used for completion. I made a patch long ago but didn't find a way to send it. It is attached. I don't think XMonad will ever prompt for a list of workspace names separated by spaces. Attachments: bundle 10.1 KB -- 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 1

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

Re: [xmonad] Issue 551 in xmonad: XMonad.Prompt.Man.manPrompt uses `manpath -g`, -g appears to be an invalid option
by codesite-noreply＠google.com 11 Sep '13

11 Sep '13

Updates: Status: Fixed Comment #4 on issue 551 by vogt.a...(a)gmail.com: XMonad.Prompt.Man.manPrompt uses `manpath -g`, -g appears to be an invalid option http://code.google.com/p/xmonad/issues/detail?id=551 I don't have a system with the other man to test, but it works if one of the two calls to getCommandOutput gives an empty String: Mon Jul 15 23:05:36 EDT 2013 Adam Vogt * Fix issue 551 by also getting manpath without -g flag. Instead of taking Ondrej's approach of figuring out which man (man-db or http://primates.ximian.com/~flucifredi/man/) is used by the system, just try both sets of flags. -- 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 1

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

prompt for clipboard history
by Donatella Quagli 21 Jul '13

21 Jul '13

Dear all, I would like to have a prompt command to reselect something from my clipboard history. The history is created with a simple cron job that executes xclip -o >> $HOME/.clipboard-history every second. My question is, how can I create the auto completion list from that file? I tried for many hours and finally gave up. My last try was this command: ((mod3Mask, xK_c), inputPromptWithCompl myXPConfig "clipboard" mkComplFunFromList(runProcessWithInput "cat /home/donatella/.clipboard-history") ?+ (\r -> spawn $ "echo" ++ r ++ "| xclip")) which did not work. Can anybody help me? Thanks in advance Donatella

3 6

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