Originally I implemented the "Flip when dragging objects" option in this commit:
This was before "edge bindings" were implemented. There were 2 checkboxes.
- Flip when moving mouse to the screen edge
- Flip when dragging objects to the screen edge
In my config I always disabled 1 and enable 2. This allows the user to drag windows or objects between desktops easily. But does not cause edge flips when the mouse accidentally drifts to the edge of the screen.
This is not possible anylonger.
Currently, edge flips are enabled using Edge Bindings. If the "Flip when dragging objects" option is disabled then when dragging windows edge flipping will not work. If the option is enabled it doesnt really do anything.
I would like to be able to only enable edge flipping when dragging objects.