And there's still a bug that had been present in the old code:
Assume you have a window on screen and a button bar aligned with
the bottom of the screen. Grab the window at the top border and
move it past the button bar towards the bottom of the screen.
When the top of the window gets close to the bottom screen edge,
it snaps to the bottom of the button bar:
+----------------------
| |
| |
| |
| page 0 0 |
| |
| |
| |
|---------------------|
| button bar |
+---+----------+------+
| |
| window |
| |
+----------+
page 0 1
I.e. the top/left/right/bottom border of a window shouldn't snap
to the bottom/right/left/top border of a windows if that latter is
aligned with a screen edge.
Ciao
Dominik ^_^ ^_^
--
Dominik Vogt
