From d151f66a8500f1b0a6aa2224f19e18062b172931 Mon Sep 17 00:00:00 2001 From: tv Date: Sun, 14 Mar 2021 22:32:35 +0100 Subject: wip --- src/Pager/Types.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Pager/Types.hs') diff --git a/src/Pager/Types.hs b/src/Pager/Types.hs index 95dd837..8a3b815 100644 --- a/src/Pager/Types.hs +++ b/src/Pager/Types.hs @@ -24,7 +24,7 @@ data Workspace = Workspace { workspace_geometry :: Geometry , workspace_focused :: Bool , workspace_name :: Text - , workspace_windows :: [Window] + , workspace_windows :: [Window] -- sorted by z-order, earlier windows overlap later ones } $(deriveJSON defaultOptions { fieldLabelModifier = tail . dropWhile (/='_') } ''Geometry) -- cgit v1.2.3