diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-07 15:18:21 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-07 15:18:21 (GMT) |
| commit | 1b6e8b4480ba5b9c3a4f769152e2735b18dba6c7 (patch) | |
| tree | 2e9971981f37de8e88a10c2347faf29554aeeab3 /shell | |
| parent | 63c93e4f2da2a5f8935835da876d118bdc99c495 (diff) | |
Ensure we are not overwflowing target position
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/WindowManager.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/shell/WindowManager.py b/shell/WindowManager.py index 9856768..af39324 100644 --- a/shell/WindowManager.py +++ b/shell/WindowManager.py @@ -47,7 +47,9 @@ class SlidingHelper: self._cur_time = time.time() remaining = self._target_time - self._cur_time - if remaining <= 0: + if remaining <= 0 or \ + (y > self._target_y and self._direction == SlidingHelper.IN) or \ + (y < self._target_y and self._direction == SlidingHelper.OUT): self._end = True y = self._orig_y else: |