diff options
| author | Josh Rahm <rahm@google.com> | 2023-12-04 16:23:53 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2023-12-04 16:23:53 -0700 |
| commit | 1132a1b6468feb46dd5033d77855d9b4f2ae9d46 (patch) | |
| tree | 6d7e4c1b671f48598177e534d979d04a9d27d75b /src/Rahm/Desktop/StackSet.hs | |
| parent | ea291e76b2ab45e13f648e82b63c4668974c2eae (diff) | |
| download | rde-1132a1b6468feb46dd5033d77855d9b4f2ae9d46.tar.gz rde-1132a1b6468feb46dd5033d77855d9b4f2ae9d46.tar.bz2 rde-1132a1b6468feb46dd5033d77855d9b4f2ae9d46.zip | |
Better history. Works even when non-current screens change
Diffstat (limited to 'src/Rahm/Desktop/StackSet.hs')
| -rw-r--r-- | src/Rahm/Desktop/StackSet.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Rahm/Desktop/StackSet.hs b/src/Rahm/Desktop/StackSet.hs index 355c5c6..9b027d6 100644 --- a/src/Rahm/Desktop/StackSet.hs +++ b/src/Rahm/Desktop/StackSet.hs @@ -12,6 +12,7 @@ module Rahm.Desktop.StackSet mapWindows, swapWindows, getLocationWorkspace, + switchWorkspaces, WindowLocation (..), windowMemberOfWorkspace, findWindow, |