diff options
| author | Josh Rahm <rahm@google.com> | 2022-04-08 14:46:07 -0600 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2022-04-08 14:46:07 -0600 |
| commit | 45176a8f89bcd1cb1c1d0bce33ed5a5495017c69 (patch) | |
| tree | a0bd10ff2e76a172a6062362db9d58e3cb514bcb /src/Internal/LayoutZipper.hs | |
| parent | c264ad435597ea6bf68c386195919209c8f2a3e3 (diff) | |
| download | rde-45176a8f89bcd1cb1c1d0bce33ed5a5495017c69.tar.gz rde-45176a8f89bcd1cb1c1d0bce33ed5a5495017c69.tar.bz2 rde-45176a8f89bcd1cb1c1d0bce33ed5a5495017c69.zip | |
Change the layout modifiers to work on individual layouts.
So, when doing something like a "zoom", it will only affect the current
layout. Before a "zoom" would be persistent across all layouts, now it
will only occur on the current layout.
I'm still trying to decide if I like it this way or not. It looks like
it'll have minimal impact on things. I don't use different layouts that
often anyway.
Diffstat (limited to 'src/Internal/LayoutZipper.hs')
0 files changed, 0 insertions, 0 deletions