diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-03-12 15:30:53 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-03-12 15:30:53 (GMT) |
commit | 978965bfa8e042b9daa2b0d4a5bc28a758a355a6 (patch) | |
tree | 06f001cf81d4f4af2b78defcf516f2d15438519d /shell | |
parent | 0d90a7b4e7b661891f68364d4949b249cb37d6a6 (diff) |
Fix a race
Diffstat (limited to 'shell')
-rw-r--r-- | shell/view/frame/frame.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/shell/view/frame/frame.py b/shell/view/frame/frame.py index d4f9bfe..de375e6 100644 --- a/shell/view/frame/frame.py +++ b/shell/view/frame/frame.py @@ -55,7 +55,8 @@ class _MouseListener(object): self._hide_sid = 0 def mouse_enter(self): - if self._frame.mode == MODE_NONE: + if self._frame.mode == MODE_NONE or \ + self._frame.mode == MODE_MOUSE: self._show_frame() def mouse_leave(self): |