diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2023-12-09 01:00:48 -0700 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2023-12-09 01:00:48 -0700 |
| commit | 4a507ae8021e4f672f251bb744e4179a3aec63b1 (patch) | |
| tree | f373bbe0d0ab1a9d77581cdf30abe5472427316b /src/Rahm/Desktop/Workspaces.hs | |
| parent | 7fcb150943032880abd5a0be6421a68b9cf234a5 (diff) | |
| download | rde-4a507ae8021e4f672f251bb744e4179a3aec63b1.tar.gz rde-4a507ae8021e4f672f251bb744e4179a3aec63b1.tar.bz2 rde-4a507ae8021e4f672f251bb744e4179a3aec63b1.zip | |
Some better handling for pinned windows.
Diffstat (limited to 'src/Rahm/Desktop/Workspaces.hs')
0 files changed, 0 insertions, 0 deletions