diff options
| author | Josh Rahm <rahm@google.com> | 2023-12-08 16:42:08 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2023-12-08 16:42:08 -0700 |
| commit | 36b1792d90b5e58f66c730652e9b0c2cd38570e7 (patch) | |
| tree | fe7edabacb3f33dcc9a1ec0c7785e4b379fe2b81 /src/Rahm/Desktop/Keys.hs | |
| parent | b389418fb85948477447db07aee13517dc9148c8 (diff) | |
| download | rde-36b1792d90b5e58f66c730652e9b0c2cd38570e7.tar.gz rde-36b1792d90b5e58f66c730652e9b0c2cd38570e7.tar.bz2 rde-36b1792d90b5e58f66c730652e9b0c2cd38570e7.zip | |
Fix withWindowsUnpinned to not pin unpinned windows after the function is completed
Diffstat (limited to 'src/Rahm/Desktop/Keys.hs')
0 files changed, 0 insertions, 0 deletions