diff options
| author | Josh Rahm <rahm@google.com> | 2023-12-08 18:07:41 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2023-12-08 18:07:41 -0700 |
| commit | 04a1fd2e2f2eaa9878c4bc67351784d6685ca22b (patch) | |
| tree | 9881f49abace6f5f07b8a7f81aa22e5b8eb5f9a0 /src/Rahm/Desktop/Layout/PinWindow.hs | |
| parent | 36b1792d90b5e58f66c730652e9b0c2cd38570e7 (diff) | |
| download | rde-04a1fd2e2f2eaa9878c4bc67351784d6685ca22b.tar.gz rde-04a1fd2e2f2eaa9878c4bc67351784d6685ca22b.tar.bz2 rde-04a1fd2e2f2eaa9878c4bc67351784d6685ca22b.zip | |
Fix some dragging behavior. Remove some conflicting bindings.
Diffstat (limited to 'src/Rahm/Desktop/Layout/PinWindow.hs')
0 files changed, 0 insertions, 0 deletions