diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2022-04-13 00:22:08 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:46 -0600 |
| commit | cecacbf482f90d0ed56ce320fbb557b22cd3d7b0 (patch) | |
| tree | 85fb4a94d2d3f8ea7b0802fc72fc7b7e78230879 /src/Rahm/Desktop/Layout/Pop.hs | |
| parent | 85310f18ac936032ea8eb4e3e177684d2d738b7c (diff) | |
| download | rde-cecacbf482f90d0ed56ce320fbb557b22cd3d7b0.tar.gz rde-cecacbf482f90d0ed56ce320fbb557b22cd3d7b0.tar.bz2 rde-cecacbf482f90d0ed56ce320fbb557b22cd3d7b0.zip | |
Add ConsistentMosaic, a wrapper to make Mosaic more consistent.
Right now, Mosaic operate on the windows itself. But this means that
swapping windows can act very unintuitively. This wrapper changes
mosaci to work on window /positions/ rather than windows themselves,
so the window in position 1 will always be the same size, and when moved
to position 2, it will inherit that position's size.
There's still some buggy behavior, but it is in general much more
intuitive than it was before.
Diffstat (limited to 'src/Rahm/Desktop/Layout/Pop.hs')
0 files changed, 0 insertions, 0 deletions