diff options
| author | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-09-13 12:08:57 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-09-13 12:08:57 (GMT) |
| commit | 3603d084b33ca6eca85b02706d23744a043374f4 (patch) | |
| tree | d6b5dc3291c9ccaa2c4ef2cde092590d34466926 | |
| parent | 2a721d9fc2d1cad074576f9938d1850d42870b28 (diff) | |
Remove collisions when the colliding child is removed. #8470
| -rw-r--r-- | src/view/home/grid.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/view/home/grid.py b/src/view/home/grid.py index c2661b6..97f9229 100644 --- a/src/view/home/grid.py +++ b/src/view/home/grid.py @@ -79,6 +79,9 @@ class Grid(_sugarext.Grid): self._locked_children.discard(child) del self._child_rects[child] + if child in self._collisions: + self._collisions.remove(child) + def move(self, child, x, y, locked=False): self.remove_weight(self._child_rects[child]) |