diff options
| author | Josh Rahm <rahm@google.com> | 2024-10-14 14:36:41 -0600 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2024-10-14 14:36:41 -0600 |
| commit | 0d4619c28d9940a0a8e7835e41671edc3e81f40e (patch) | |
| tree | d048d5e92f73e791d0896b2825c1ef4390d72e13 /src/Rahm/Desktop/Keys.hs | |
| parent | 9b0750ba68aee61aacf7538b5b14d8f265e934e5 (diff) | |
| download | rde-0d4619c28d9940a0a8e7835e41671edc3e81f40e.tar.gz rde-0d4619c28d9940a0a8e7835e41671edc3e81f40e.tar.bz2 rde-0d4619c28d9940a0a8e7835e41671edc3e81f40e.zip | |
Change history behavior.
Now going to the last history location will avoid jumping to already
visible workspaces. This avoids the weirdness where it switches screens
and messes with the rest of the history.
Diffstat (limited to 'src/Rahm/Desktop/Keys.hs')
0 files changed, 0 insertions, 0 deletions