summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2025-06-05 15:51:28 +0200
committertv <tv@krebsco.de>2025-06-05 15:51:46 +0200
commit78f2c9ac607f8597565936aea4c859dca3d696b9 (patch)
tree72da298720398fa2454f4bca81703592e5d45843
parentcf7377886a55e36701bd0d5ce7c723aa6d7bd9bd (diff)
output {width,height}{,_mm} from let
-rw-r--r--app/xoutinfo.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/app/xoutinfo.hs b/app/xoutinfo.hs
index da1360a..3ced671 100644
--- a/app/xoutinfo.hs
+++ b/app/xoutinfo.hs
@@ -75,8 +75,8 @@ main = do
, 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
+ , width = width
+ , height = height
+ , width_mm = width_mm
+ , height_mm = height_mm
}