diff options
| author | Josh Rahm <rahm@google.com> | 2023-12-13 17:15:19 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2023-12-13 17:15:19 -0700 |
| commit | a1e4abaa849be6df7377eac57ae2c3a159cd87ba (patch) | |
| tree | c51af0ae51f8cc872c96c52de0aae67f15ac0a5f /src/Rahm/Desktop/Layout.hs | |
| parent | 4c14fed7b852296af422a9d2f7166abced2c52b9 (diff) | |
| download | rde-a1e4abaa849be6df7377eac57ae2c3a159cd87ba.tar.gz rde-a1e4abaa849be6df7377eac57ae2c3a159cd87ba.tar.bz2 rde-a1e4abaa849be6df7377eac57ae2c3a159cd87ba.zip | |
Fix issue where pointer and keyboard were not being properly ungrabbed.
Diffstat (limited to 'src/Rahm/Desktop/Layout.hs')
0 files changed, 0 insertions, 0 deletions