mirror of
https://github.com/xmonad/xmonad.git
synced 2025-08-01 20:51:55 -07:00
Rename property to stringProperty
This commit is contained in:
@@ -68,11 +68,11 @@ className = ask >>= (\w -> liftX $ withDisplay $ \d -> fmap resClass $ io
|
|||||||
|
|
||||||
-- | A query that can return an arbitrary X property of type String,
|
-- | A query that can return an arbitrary X property of type String,
|
||||||
-- identified by name.
|
-- identified by name.
|
||||||
property :: String -> Query String
|
stringProperty :: String -> Query String
|
||||||
property p = ask >>= (\w -> liftX $ withDisplay $ \d -> fmap (fromMaybe "") $ getProperty d w p)
|
stringProperty p = ask >>= (\w -> liftX $ withDisplay $ \d -> fmap (fromMaybe "") $ getStringProperty d w p)
|
||||||
|
|
||||||
getProperty :: Display -> Window -> String -> X (Maybe String)
|
getStringProperty :: Display -> Window -> String -> X (Maybe String)
|
||||||
getProperty d w p = do
|
getStringProperty d w p = do
|
||||||
a <- getAtom p
|
a <- getAtom p
|
||||||
md <- io $ getWindowProperty8 d a w
|
md <- io $ getWindowProperty8 d a w
|
||||||
return $ fmap (map (toEnum . fromIntegral)) md
|
return $ fmap (map (toEnum . fromIntegral)) md
|
||||||
|
Reference in New Issue
Block a user