Adjusts the NotchView's DragDetector to close the Notch when a file is dragged away.
When you drag a file to the notch, then change your mind and drag it away, you won't have any subsequent need for the notch to stay open
When you've just taken a file from the notch, I think it's more likely that you'll be finished interacting with it, than that you'll want to grab more files.
This could be togglable option, but in my experience, I've strongly preferred it to auto-close.
Implementation note: because hovering the AirDrop and TrayDrop take focus from the NotchView, an extra check is required when de-targeting the NotchView to make sure the mouse has actually left the box; ergo the if !vm.notchOpenedRect.insetBy(dx: vm.inset, dy: vm.inset).contains(mouseLocation){ line
Lakr233
commented
2 months ago
Adjusts the NotchView's DragDetector to close the Notch when a file is dragged away.
This could be togglable option, but in my experience, I've strongly preferred it to auto-close.
Implementation note: because hovering the AirDrop and TrayDrop take focus from the NotchView, an extra check is required when de-targeting the NotchView to make sure the mouse has actually left the box; ergo the
if !vm.notchOpenedRect.insetBy(dx: vm.inset, dy: vm.inset).contains(mouseLocation){lineP.S., Love this project!
Prior behavior:
https://github.com/user-attachments/assets/e66ca40e-d120-4c61-a492-d8a57e555b9f
New Behavior:
https://github.com/user-attachments/assets/b9d06549-b1cb-4d8d-a75d-4b9ee4e0c3de