diff options
author | tv <tv@krebsco.de> | 2025-06-05 15:51:28 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2025-06-05 15:51:46 +0200 |
commit | 78f2c9ac607f8597565936aea4c859dca3d696b9 (patch) | |
tree | 72da298720398fa2454f4bca81703592e5d45843 | |
parent | cf7377886a55e36701bd0d5ce7c723aa6d7bd9bd (diff) |
output {width,height}{,_mm} from let
-rw-r--r-- | app/xoutinfo.hs | 8 |
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 } |