diff options
| author | Josh Rahm <rahm@google.com> | 2023-12-05 17:46:15 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2023-12-05 17:50:20 -0700 |
| commit | 122b51770305f3f22050ba7000d168e298eb1661 (patch) | |
| tree | fe655fbaa91bed9317e582b331344456d26c1aea /src/Rahm/Desktop/Keys/KeyCodeMapping.hs | |
| parent | 55116fbf09c5b9f8518d8d64385d70960c1507a2 (diff) | |
| download | rde-122b51770305f3f22050ba7000d168e298eb1661.tar.gz rde-122b51770305f3f22050ba7000d168e298eb1661.tar.bz2 rde-122b51770305f3f22050ba7000d168e298eb1661.zip | |
Still a work-in-progress, but better dragging window.
Dragging a window will leave a hole behind until it reaches its final
destination, making it look a little better.
Now I've also implemented drag so that when ending the drag with a
right-click it tiles the window on the screen it's currently on.
It is still pretty jenky and very much a WIP.
Diffstat (limited to 'src/Rahm/Desktop/Keys/KeyCodeMapping.hs')
0 files changed, 0 insertions, 0 deletions