diff options
| author | tv <tv@krebsco.de> | 2021-03-14 22:32:35 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2021-03-14 22:32:35 +0100 |
| commit | d151f66a8500f1b0a6aa2224f19e18062b172931 (patch) | |
| tree | 24199e10c9ebc72b898188a0f2bdcf4b2e6ee244 /src/Pager/Types.hs | |
| parent | 032cb86ff8108eb4915a692015da344a41f78506 (diff) | |
wipwip
Diffstat (limited to 'src/Pager/Types.hs')
| -rw-r--r-- | src/Pager/Types.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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) |