Fix a race

This commit is contained in:
Marco Pesenti Gritti 2007-03-12 16:30:53 +01:00
parent 0d90a7b4e7
commit 978965bfa8

View File

@ -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):