diff options
| author | Josh Rahm <rahm@google.com> | 2024-02-06 16:45:31 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2024-02-06 16:45:31 -0700 |
| commit | e670c95c5696de6e57d297d30dff9391bba0e5ad (patch) | |
| tree | ad9a872d35204328f0cf1177ef31b21e916c32a7 /src/Rahm/Desktop/XMobarLog.hs | |
| parent | 3a5d965333bb2d7a115e4de05d88ada48fd1d677 (diff) | |
| download | rde-e670c95c5696de6e57d297d30dff9391bba0e5ad.tar.gz rde-e670c95c5696de6e57d297d30dff9391bba0e5ad.tar.bz2 rde-e670c95c5696de6e57d297d30dff9391bba0e5ad.zip | |
Change how history works. History will now not send the user to the hidden workspace, making it harder to explicitly go to the hidden workspace
Diffstat (limited to 'src/Rahm/Desktop/XMobarLog.hs')
0 files changed, 0 insertions, 0 deletions