From e7c50da45fd5e6b455b0ef5cd779bea7ce54ba4a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= Date: Wed, 19 Nov 2025 20:37:50 +0800 Subject: [PATCH] vanadium/xmonad: I like ratio --- nix/configurations/vanadium/home/xmonad/xmonad.hs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/nix/configurations/vanadium/home/xmonad/xmonad.hs b/nix/configurations/vanadium/home/xmonad/xmonad.hs index d9859cd7..b56b81a9 100644 --- a/nix/configurations/vanadium/home/xmonad/xmonad.hs +++ b/nix/configurations/vanadium/home/xmonad/xmonad.hs @@ -29,6 +29,7 @@ import XMonad.Util.SpawnOnce import XMonad.Layout.Magnifier import Data.Char.Greek +import Data.Ratio import Data.Semigroup import qualified Data.Map.Strict as M import System.Posix @@ -325,10 +326,10 @@ chatWS :: WorkspaceId chatWS = myWorkspaces !! 3 centeredFloat, smallFloat, fullFloat, buttomRightFloat :: W.RationalRect -centeredFloat = W.RationalRect (1/9) (1/9) (7/9) (7/9) -smallFloat = W.RationalRect (3/5) (3/5) (2/7) (2/7) +centeredFloat = W.RationalRect (1%9) (1%9) (7%9) (7%9) +smallFloat = W.RationalRect (3%5) (3%5) (2%7) (2%7) fullFloat = W.RationalRect 0 0 1 1 -buttomRightFloat = W.RationalRect (1/2) (1/2) (1/2) (1/2) +buttomRightFloat = W.RationalRect (1%2) (1%2) (1%2) (1%2) xmobarConfig :: StatusBarConfig xmobarConfig = statusBarProp "xmobar -x 0" (pure myPrettyPrinter)