diff options
| author | Josh Rahm <rahm@google.com> | 2022-04-04 17:21:16 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:46 -0600 |
| commit | 67685752a1b3f9c29556b5c033c29e9736378f0b (patch) | |
| tree | 171a3acb7430699fe5867f2b3f525787102e6da8 /src/Internal/Windows.hs | |
| parent | fcb81c33239a63d88b8ae0005008296135a1721c (diff) | |
| download | rde-67685752a1b3f9c29556b5c033c29e9736378f0b.tar.gz rde-67685752a1b3f9c29556b5c033c29e9736378f0b.tar.bz2 rde-67685752a1b3f9c29556b5c033c29e9736378f0b.zip | |
Implement a window history system.
This lets the user cycle between past windows. The rules for when a
window gets added to the history is the same as when a window is
considered the last marked.
In fact, now all the last mark does is swap the current window with the
previous one in the history.
Diffstat (limited to 'src/Internal/Windows.hs')
0 files changed, 0 insertions, 0 deletions