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:09:52 (GMT) |
commit | 63a997442dd7fe87cdd2e4a47e44d0a5ab1807fc (patch) | |
tree | e9b6d71a500d6fd033237f5c7b58410fa9e21f1e /src | |
parent | 89b723df1e8a25671996308651414e6e79216461 (diff) |
Remove collisions when the colliding child is removed. #8470
Diffstat (limited to 'src')
-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 68a9844..eb7fabc 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]) |