summaryrefslogtreecommitdiffstats
path: root/app/xoutinfo.hs
diff options
context:
space:
mode:
Diffstat (limited to 'app/xoutinfo.hs')
-rw-r--r--app/xoutinfo.hs82
1 files changed, 82 insertions, 0 deletions
diff --git a/app/xoutinfo.hs b/app/xoutinfo.hs
new file mode 100644
index 0000000..da1360a
--- /dev/null
+++ b/app/xoutinfo.hs
@@ -0,0 +1,82 @@
+module Main (main) where
+
+import Control.Exception
+import Data.Aeson
+import Data.ByteString.Lazy.Char8 qualified as L8
+import Data.Maybe
+import GHC.Generics
+import Graphics.X11.Xlib.Atom
+import Graphics.X11.Xlib.Display
+import Graphics.X11.Xlib.Misc
+import Graphics.X11.Xrandr
+import System.Environment
+
+
+data Output =
+ Output
+ { device_scale_factor :: Float
+ , dpi_x :: Float
+ , dpi_y :: Float
+ , height :: Int
+ , height_mm :: Int
+ , name :: String
+ , width :: Int
+ , width_mm :: Int
+ }
+ deriving (Generic, Show)
+
+instance ToJSON Output
+
+
+main :: IO ()
+main = do
+ let
+ -- This assumes DPI has not been configured
+ -- (e.g. by passing -dpi to X or calling xrandr --dpi)
+ default_dpi = 96
+ bracket (getEnv "DISPLAY" >>= openDisplay) closeDisplay $ \dpy -> do
+ let w = defaultRootWindow dpy
+ (_, _, _, x, y, _, _, _) <- queryPointer dpy w
+ filter (isPointedAt x y) . fromJust <$> xrrGetMonitors dpy w True
+ >>= mapM (xrrMonitorInfoToOutput dpy default_dpi)
+ >>= mapM_ (L8.putStrLn . encode)
+ where
+ isPointedAt
+ x
+ y
+ XRRMonitorInfo
+ { xrr_moninf_x
+ , xrr_moninf_y
+ , xrr_moninf_width
+ , xrr_moninf_height
+ } =
+ xrr_moninf_x <= x && x < xrr_moninf_x + xrr_moninf_width &&
+ xrr_moninf_y <= y && y < xrr_moninf_y + xrr_moninf_height
+ xrrMonitorInfoToOutput
+ dpy
+ default_dpi
+ XRRMonitorInfo
+ { xrr_moninf_name
+ , xrr_moninf_width
+ , xrr_moninf_height
+ , xrr_moninf_mwidth
+ , xrr_moninf_mheight
+ } = do
+ name <- fromMaybe "???" <$> getAtomName dpy xrr_moninf_name
+ let
+ width = fromIntegral xrr_moninf_width
+ height = fromIntegral xrr_moninf_height
+ width_mm = fromIntegral xrr_moninf_mwidth
+ height_mm = fromIntegral xrr_moninf_mheight
+ dpi_x = width / width_mm * 25.4
+ dpi_y = height / height_mm * 25.4
+ return Output
+ { name = name
+ , device_scale_factor = dpi_x / default_dpi
+ , dpi_x = dpi_x
+ , dpi_y = dpi_y
+ , width = fromIntegral xrr_moninf_width
+ , height = fromIntegral xrr_moninf_height
+ , width_mm = fromIntegral xrr_moninf_mwidth
+ , height_mm = fromIntegral xrr_moninf_mheight
+ }