diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2023-11-26 12:53:19 -0700 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2023-11-26 12:53:19 -0700 |
| commit | ecbe2eb4cc3785e9e921671d0574cec48c270d42 (patch) | |
| tree | d4c736950a302f8501e931f5a395f04d48aba02b /src/Rahm/Desktop/Common.hs | |
| parent | 02198e22932192aede4a73e7a121007c76093e5f (diff) | |
| download | rde-ecbe2eb4cc3785e9e921671d0574cec48c270d42.tar.gz rde-ecbe2eb4cc3785e9e921671d0574cec48c270d42.tar.bz2 rde-ecbe2eb4cc3785e9e921671d0574cec48c270d42.zip | |
Better implementation of history.
Each screen now has its own history and if a workspace is swapped with
another visible workspace, the history between those screens is also
swapped, so this gives a feeling of a kind of persistent history that
follows the screen.
Diffstat (limited to 'src/Rahm/Desktop/Common.hs')
0 files changed, 0 insertions, 0 deletions